Extended Metric

- Added more statistics
- Documentation improvement
Merge branch 'production' of https://github.com/erwinvaneyk/crawljax-functional-testing-suite into production

Conflicts:
	src/main/java/analysis/StateAnalysisMetric.java