add informative methods to TagManager

Methods added are getTagsNumber() and containsTag().
This provides basic informations of the global state of the TagManager.
The methods hasn't been tested.
add tagFromString method