added .git to GitInterface
added get_state and reset_to_clean_state
fixed a typo
added interactive importing of tickets
Merge branch 'master' of github.com:sagemath/sage-workflow