ArrayList -> HashSet (for uniqueness), some optimization and GUI debug
comlines display can be disabled
MERGE DONE
Merge branch 'master' of github.com:Kriegspiel-Team/Kriegspiel