switch implementations of Solarized theme
alias: convert to decimal
zsh: add Stanford-specific aliases
update zsh-syntax-highlighting