Minor modifications
Merge branch 'hashval' of https://github.com/thomasjball/PyExZ3 into hashval

Conflicts:
	test/se_descr.py