Implement character-level synchronization

Uses simple string searching in the line returned by SyncTeX.

Open problems:
 * \commands (and possibly other TeX codes) are not handled in any special way
 * changes to the TeX file (without retypesetting) may lead to wrong synchronization (due to out-dated SyncTeX data)
 * Poppler seems to mess up the beginning and end of footnotes
 * Certain ambiguous cases could be solved by evaluating substring positions (e.g., using a diff-like algorithm)