Add a test (that needs pdflatex) that tests synctexpdf

The second one fails (patch is coming in a moment)
This is just to try what jenkins says of all this :D