Ivy-fying ProM packages

The ProM framework now uses Ivy to resolve dependencies on other libraries. As the ProM packages already could use Ivy for inter-package and library dependencies, we can now use Ivy for all dependencies in ProM.

The following two documents can help a ProM package developer to start using Ivy for his or her package, and to start using the Ivy-fied framework in his or her package: