Makefile for quick deployment
Make git push.default upstream

(for backwards compatibility)
Remove stale dotfile links