Adding extraction script for lingeling.

Branch: lingeling_extract.

Adding extraction script for lingeling.

Matthew