Install diff-highlight
Use diff-highlight in gitconfig
Add p1 alias for 1 prove job
Make less quit on small things, and not clear screen
Add octave bundle, disable snippets
Add zsh-syntax-highlighting