[server-ce] make tests more robust GitOrigin-RevId: f070b8bbbf87842a69d88ca56cecf5dd0f3a286c
[server-pro] add tests for SyncTeX GitOrigin-RevId: 2c914cd7e3859fb82c6e560fda1248d98415da2f