Updating lingeling to ala-b02aa1a-121013.
Merge branch 'lingeling-ala' of git://github.com/MGwynne/oklibrary