Merge pull request #134 from jwj61/develop

Fix bug in tagging widget
Merge branch 'develop' of github.com:openwebwork/webwork2 into develop
Fix bug 2681, errors in populating local problems menu in Library Browser 1.