Updates.
Merge branch 'new/idrislang.sty' of github.com:jfdm/idris-tutorial into new/idrislang.sty