Added inputIdrisListing command to load external files.

Improvements to idrislang.sty