source-highlight additions and pymol
Merge branch 'jeff' of https://github.com/Graylab/dotfiles into jeff