fix compilation error of maxsatverify and pigeonhole
fix compilation error of BenchmarkSATLIB
allow to use data-interval-1.2.*
compile toyfmf and sample/misc programs on Travis-CI