Fix the double printing bug
Ignore the first message from Idris
Merge pull request #3 from mietek/towards-halcyon

Towards reproducible deployment
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
Update use of Halcyon