a lot of enhancements related to tags: tags list is now sorted, shows number of articles, autocomplete added according to #477, #542