Changed class hierarchy and made slight changes to the classes themselves
Tried implementing concurrent graph search
Made GraphSearch with a central communicator object, added "Pre" method to
graph for help. Now have to test this.
Fixed error in GraphSearch, misunderstood monitors
Merge branch 'eclipse' into communicator
Implemented LTSReader and added a toJson method to the LTS Class
The Reader no longer gets the JSON LTS from the args[]. Now the LTS has to be copy-pasted into the standard input during runtime