Readme is out of date with the package plugins.

[AdamBanham]

TODOs

• rewrite the introduction to reflect the changes with ProM distribution system.
• ensure all pictures reflect the current implementations of the systems.
• describe all plugins introduced in readme.

[AdamBanham]

Still need to include the stochastic implementations.