.osx: Use a modified version of the Solarized Dark theme in Terminal.app