Git and Trac integration (adds a 'git trac' command)