Change terminal theme to base16-ocean