automatically prune remotes in git update alias
improve git diffhead alias
vimrc: make function key mappings work in insert mode as well
vimrc: remove obsolete line-execution macro and mapping
vimrc: cosmetics
vimrc: add uncomment macro for latex files
bashrc: add default options for make
add hitex:master comment to LaTeX templates
bashrc: add sage notebook alias