Joachim - 2013-02-12

Synctex works now by invoking through latex-builder-command (first try was to use '\synctex=1' in the document-preamble, which does not work).