Heroku support

Minor tweaks to facilitate deployment to Heroku or similar service.