OPL-update update

To ordinary users, there will be no change.  But, when problems are added to the OPL, OPL-update will now complain if a problem's DBsubject/chapter/section do not come from the Taxonomy, making it easy for people to spot errors.

Also, minor improvement in reading tags from problems