matching logic prover support for list segments and overall improvements; more examples

remove ```JarInfo.getZ3PreludePath()``` if it is not used anymore?