Remove oh-my-fish theme from dotfiles since it was officially merged.