Add link to ProM plugin