Remove unused imports
Apply diamond operator wherever needed
Remove newTokenCounts from ClonePetriNet
Fix bug in Petri net annotaion addition and removal

* Create map with annotation id -> annotation
* Behaves like other maps and listens for id change
* Annotations id is now its text, this could be a problem if two have
  the same text
* Add tests