Git Kill

@charlierudolph this implements #87 
Good catch! The thinking is that we want to kill (and restore) uncommitted changes. So I commit them into the last commit of the branch to delete, then delete the branch. Ergo when I restore the branch, I have to `git reset` the last commit, so that these changes are uncommitted. The mistake was to push the branch before resetting. Now I reset the last commit first, and then push. This should do it.