tweak synonymy
add progressbar module
rename test-* scripts so what they do is clearer
synset-check.py now adds synset ids to results