Updating glucose to version 2.2.

Note that this means that versions 1.0 and 2.0 will no longer build due to a change in the glucose build procedure.
Merge branch 'glucose22' of git://github.com/MGwynne/oklibrary