Adding extraction script for lingeling.
Merge branch 'lingeling_extract' of git://github.com/MGwynne/oklibrary