Changed camelcase to underscore in mnemosyn.py
Changed tags to a set, and sorted in output
Added number of uses for each tag
Added description indicator
Removed all layout-imposed spaces

All skinning and theme-related stuff should be in the stylesheet if
possible.
UI theme update
Added a warning when a task has no tags
Added failsafes in read_json and read/write_tasklist