Feature 50

This branch mainly creates pipe-module sub-module:
This has new code for state space exploration. Makes use of PIPEMarkovChain project.

There are a few changes to pipe-core that involve using PIPEMarkovChain, not storing Tokens as keys in HashMaps (because they're not immutable).