Data updates.
Merge branch 'glucose22' of git://github.com/MGwynne/oklibrary
Update on glucose-2.2 performance.

On these instances much worse than 2.0.
Partial update of Ecl build.
Updating glucose extraction for glucose-2.2.

The extraction script is fully backwards compatible with glucose-2.0 but
the new statistics ("elc stime brts mbrts lbrts") in glucuose-2.2 will
appear with value 0 when glucose-2.0 statistics are extracted.