update instructions for location of OPL

The default location for the OPL when downloaded from github is 

/opt/webwork/libraries/webwork-open-problem-library/OpenProblemLibrary

This just updates the instructions in INSTALL to assume this default value.