Update PIPECore package changes
Add textual results to state space
Swap reachability graph back to using jpowergraph
Add the ability to limit unbounded states or generate coverability graph