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