Did some cleaning
 Changes to be committed:
	modified:   README.txt
	deleted:    nixtla/core/tools/model/history.py
	deleted:    nixtla/core/tools/model/kripke.py
	modified:   setup.py