bashrc: use 12 pt font in xterm
bashrc: add gitklog to see git log --oneline with dates