bugs and fixes
merge second try
Hopefully this doesn't screw with everyone's classpath. Also Arie, I had
to go back from your adjustments to runGUI. I couldn't get my head
around it, I'm hoping it won't be hard to redo, if it's necessary.
Merge remote-tracking branch 'origin/master' into master1

Conflicts:
	ExpertShell/src/datatypes/InferenceEngine.java
	ExpertShell/src/datatypes/Rule.java
	ExpertShell/src/gui/runGUI.java