Merge branch 'develop' of github.com:openwebwork/webwork2 into develop
Fix bug 2681, errors in populating local problems menu in Library Browser 1.
Merge branch 'develop' of github.com:openwebwork/webwork2 into develop
Merge pull request #139 from jwj61/develop

Fixing bug in listing directories with pg files