git: pull does a rebase of local changes by default.
git: `git head` now shows the 20 latest entries.
git: remove unused aliases.