Further work on the tagging system

Tags now show frequency, though not yet with size of character.
One can also see the existing tags on each module, and not only his own tags

I have also started to export the tags data in several ways to let others incorporate this information. See the FAQ for details.