Improve edit user, paper and compiler

Use the JSON-Patch library to generate JSON Patch file.
Fix synctex parser

Support negative distance.
Merge pull request #76 from tdurieux/fix-synctex-parser

Fix synctex parser
Merge pull request #75 from tdurieux/improve_edit

Improve edit user, paper and compiler