Merge pull request #22 from wdblair/master

Revised the factorial example to move main from ATS to javascript.
Updating: improving ATS-HTML-fact
Updating: tidying up ATS-QA-LIST examples.
Updating: fixing a glitch in compiling proof assignment.
Updating: very minorly improving
Updating: minorly improving
Updating: tidying up some code.
Updating: improving lasy-evaluation interface.
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.