gitconfig: add 'up' alias to update all remotes
common.sh: longer lines for pdflatex output