use uxterm as default terminal emulator
add "git branch" shortcut
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
add hitex:master comment to LaTeX templates