More functionality for production of dev_truth, and several fixes:
- getTermIDs() now outputs a translation dict between en_uris and names
- a set of terms that are too generic for students is ignored
- interactiveGroundTruth() now fully works for topics
- there are dicts for manually added URIs and corrected names
- .cmd file to start evaluation.py in cmd terminal (prompt doesn't work in IDE)