This release fixes several important bugs. It also introduces some
flexibility into the logging format and allows gldb and gldb-gui to
step to the next GL call.
I also set up the OPTIONS field to add some tunability.
New manpages included, but no changes to pkg-plist.