having haskell sources instead of TeX being included in the report
haskell code in HS files, Coq code using minted pygmentize, closes #20