added bin/tokencheck.sh/xsl to find out which terms in -pdmgs.xml files do not have a token property, and to correct where necessary