Fix naming
adding flags for pdr max and no k-induction to the api
Update options on JKindApi
Disable progress information on cancelled properties
Clean up evaluators
Clean up iterators using Java 8 features
Merge remote-tracking branch 'upstream/develop' into develop

Conflicts:
	jkind-api/src/jkind/api/JKindApi.java