Create tags.txt

This is the production version of the tags file, replacing alltags.txt