Added inputIdrisListing command to load external files.
Corrects infinite stream syntax [start ..]. Closes
idris-lang/Idris-dev#706
Added contributing guidelines.
Merge pull request #701 from jfdm/contrib/idrislang.sty

Added inputIdrisListing command to load external files.
Merge pull request #711 from ahmadsalim/bug/fixenumfromsyntax

Corrects infinite stream syntax [start ..]. Closes
Merge pull request #717 from jfdm/contrib-guidelines

Added contributing guidelines.