documentation fiddling
remove debug log
caching of messages screwing up some stuff
Merge pull request #141 from mechturk/default-caseFold-search

Automatic caseFold search
fix logging, minor stuff.
robot arm
Merge branch 'master' into dev

Conflicts:
	js/codemirror/searchcursor.js
Merge pull request #143 from increpare/dev

Dev
compiling something
Merge branch 'dev'
wording, fixed script
Merge branch 'dev'
documentation tweaking
Merge branch 'dev'