Improvements to files.

+ Updated Readme
+ Latest version of idrislang.sty
+ Add clean target to examples Makefile
Code deduplication.

Consolidated example code from examples/ and in chapters:

+ starting.tex
+ typesfuns.tex
Updated .gitignore to stop pesky binary builds.
Fixed typo's, urls, and layout.