give shell configs a makeover: .shellrc now covers many universal options; zsh and bash have separate (but very similar) themes; oh-my-zsh deleted