Moved ExtendSet from Glr_parser to Scm_util. Slightly simplified the implementation of several of the ExtendSet functions via introduction of with_setref.
Merge branch 'master' of https://github.com/Markov-Grammatical-inferencer/shiny-computing-machine

Conflicts:
	src/scm_util.ml