Updating: miscellaneous addition
Updating: improving an ATS-OBJC-example
Updating: improvoing contrib/HTML/document
Updating: adding libats-hwxi/teaching/fileAsLock
Updating: renaming: html5 -> HTML5
Updating: working on the DiningPhil example
Updating: the DiningPhil example is functioning.
Updating: minorly improving.
Updating: tidying up a bit
Updating: minorly improving DiningPhil
Updating: minorly improving documentation.
Updating: removing the use of '$' in the identifiers in the generated C code.
Updating: more on changing $ to __
Updating: changes due to $ -> __
Updating: handling valdec for functions.
Updating: misc.
Updating: improving CHAP_MODULARITY
Updating: miscellaneous updates.
Updating: adding a mydraw-example
Merge branch 'master' of github.com:githwxi/ATS-Postiats