gitlab-ci: Install libsynctex in Docker image
It will help choose whether to use the internal synctex library or the one in the system. Currently, it is chosen automatically.
It will help choose whether to use the internal synctex library or the one in the system. Currently, it is chosen automatically.