Initial version of documentation generation script

* Add Windows batch file and Unix shell script
* Update .gitignore
instdocs.bat: Added comment
Safer version of documentationScript

* At script end, return to directory it was executed from
* Use ROOT variable to specify the appdev directory
* In file cleanup, delete %ROOT%\docs.html
Merge branch 'documentationScript' into develop