Add git pp alias.

Which is like running:

	git log --graph --abbrev-commit --decorate --full-history --all
Add git history alias.

This is like my git pp alias but includes --cherry-mark.
Remove vectra from push make target.

She's defunct.