Add 2 new git alias: record and undo

git undo is a wrapper of git reset --hard mode removing the latest commit.
git record is a nicer wrapper of git log using find-renames to avoid priting
useless diffs created by moving file around in a folder.