Implemented the algorithm for splitting a SPN into building blocks.
Added an RCAT module which currently only splits SPNs and informs if RCAT can be run.
Merge branch 'master' of github.com:tanvipotdar/PIPE