Declare Idris as run-time dependency
Support deploying with Haskell on Heroku
Add deployment-specific README