Prova JIRA is updated to Enterprise version and linked to Subversion

Prova JIRA at http://www.prova.ws/jira is now upgraded to the JIRA Enterprise version. Special thanks go to Atlassian who kindly donate their excellent products to Open Source projects. Prova JIRA is now correctly linked to the Prova Subversion repository in SourceForge. JIRA plugin for Mylyn in Eclipse is now used for tracking issues and task assignment, which is in line with how we do things in Betfair for research projects.

Various quality improvements are underway for eventing, Swing support, exception handling for ProvaCommunicator, builtins, and unconsult for rules and facts given the "src" metadata.