http://stackoverflow.com/questions/2125710/how-to-revert-a-git-rm-r