* Issue #23: The CLI tool enables to generate the SyncTeX index.
* Issue #23: A entry is added in configuration files to switch on/off the SyncTeX support.
* Issue #23: Add a CLI option to switch on/off the support of SyncTeX.
* The Gedit plugin is updated according to the issue #23.