[db] adapt type1 scanner
[db] throw away some cruft (old synonyms table)
[db,tool] adapt --prefer-texmf