Moved evince_synctex to tools repository