Refine git error handling, enable syncing. No security check, so anyone with access to the server can push anything.

Add config-file in the dependencies, install it via opam (same thing for ocsigen and eliom by the way)