More work on promela DM

changed const of Data subscript operator and introduced at(key) and item(index)
Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie
Beautified Code
Merge pull request #24 from sradomski/master

Mo work on Promela DM