testsuite: speed up LTL model checking
testsuite: speed up LTL model checking

 - change peterson3.pml to p117.pml,
   because peterson3.pml uses too much memory for Travis CI.
 - use only pre-compiled versions

vbloemen/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,alaarman/ltsmin,trolando/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,trolando/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin