Improved indexing of strings with decimal suffixes
Fix a bug in StringIndex when disjunct strings are inserted
Merge branch 'NewArchitecture' of github.com:kduske/TrenchBroom into NewArchitecture