Update README.md
Merge branch 'taxonomies' of https://github.com/commoncriteria/HyperCC into taxonomies

Conflicts:
	README.md
Updated README.md