Finish the progit_hook_tickets git hook to reload ticket pushed to the git
With these changes, someone can directly push to the ticket repository
and *if* the hook is active, the content of the git will be used to
update the database, thus actually allowing sync of issues between two
instances of progit
Fixes http://209.132.184.222/progit/issue/26