Move SimpleModel to jkind.solvers
Merge branch 'master' into functions

Conflicts:
	jkind/src/jkind/slicing/ModelSlicer.java