Final release with mCRL2 dependency

This is the final release of pgconvert with a dependency on mCRL2. Future releases will use the command line and logging libraries from a separate repository.