Turns out git's handling of renames is (basically) automatic, but git mv
does some magical things which are sometimes useful.
http://stackoverflow.com/questions/2641146/handling-file-renames-in-git