Implement a reader that reads the entire set of records from Input
Implement ExploredSet which compresses states
Add ExploredSet, was missing!
Add Travis CI support