Axiom refactor.
Merge branch 'master' of https://github.com/isi-metaphor/Metaphor-ADP

Conflicts:
	KBs/English/English_compiled_KB.da
	KBs/Farsi/Farsi_compiled_KB.da
	KBs/Russian/Russian_compiled_KB.da
	KBs/Spanish/Spanish_compiled_KB.da
Update KB documentation.
Fix Markdown formatting for Github.
More formatting.
Clean up scripts.
Remove extraneous KBs.
Fix predicate arities and add script to check them.
Add WordNet synonymy axioms.
Some clean-up that was out of sync.
Merge branch 'dev'
Merge branches 'dev' and 'master' into dev