Create prototype GSPN analysis module GUI #70

* Very basic prototype
* Abstracted Petri net binary and file oading into StateSpaceLoader,
  need to add this to the reachability graph to remove duplicate code
* Solves the state space for Petri nets smaller than 200 states and
  shows average token and transition metrics