Add "level" to tag widget
Merge branch 'develop' of github.com:openwebwork/webwork2 into develop

Conflicts:
	htdocs/mathjax
Need to escape quote marks in file paths when embedding in html for js.
Added more like this leader tag.
Overhaul OPL-update: reading of tags from problem files is done by the Tags module, support for new tags added, and other simplifications to the code.
Fixed typo in OPL-update
Add Peter's script which pulls OPL taxonomy from the database and stores it as a json object in a file in htdocs.
Merge branch 'develop' of github.com:openwebwork/webwork2 into develop
Merge pull request #80 from jwj61/develop

Updating OPL tag handling