A stub INI file for production deployments.

Right now, the "production" deployment is a Heroku demo site.  When
that's shut down (and we get a real production environment at NUBIC),
I'll throw out the stub production INI file.

(I'll probably keep the environment-based configuration around,
though.)