Getting list of support rewrite rule
Implement Naive-bayes in java

- A different naive-bayes based on "premises selection" paper
- New MaLeFilter in Scala, wrapper java class
- Use List for traversal instead of Array get method, speed up, 2.5
	times
- Measure running time with new filter, it take 0.3 millisec for each
	function call of filter, about 5000 times faster original MaSh python
	code.
- Take running time down from 11.86 sec to 10.62 sec, speed up: 10.45 %
- New `getFeatureList` function
- --filter=MaLe option, do filter for rewrite rules
- --training option now works for MaLe training
- A trick for lower bound of Pr (FIXME)
- New format file for saving trained model parametters
Adapt prover Princess to 2.10.2
Adapt to 2.10.2