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