Lingeling support

I've added [Lingeling](http://fmv.jku.at/lingeling/) support, a SAT solver which scores very well in the last 2 [SAT competitions](http://www.satcompetition.org/2014/).
Only tested on CYGWIN though

I've also added a CYGWIN example