Merge pull request #1 from openwebwork/master

catch up with openwebwork/ repo for OPL
Update INSTALL
Merge pull request #12 from mgage/master

update instructions for location of OPL