Implemented rough taureachableWith method for LTS with GraphSearch. Not
really well tested.
Merge branch 'communicator'
Added the json jar file to the commits