update xtc version 2.4.0
Merge branch 'master' into xtc240
fix use of macrofilter in xtc again

(lost in merge)
Merge branch 'master' into xtc240
update xtc to share BDD instance

previously tests would run out of memory
update xtc to fix memory leak
fix lexer test cases
Merge branch 'xtc240'

Conflicts:
	PartialPreprocessor/lib/xtc_2.9.1-2.4.0.jar