ProM has moved to GitHub

The ProM packages have been moved from SVN to GitHub. So far, 35 packages have been transferred including the SVN history.

This move was necessary as the SVN repository at the Math&CS department at TU/e will be taken down in the near future. As a result, the URLs (the SVN repository) and (the corresponding Trac site) will stop working in the near future.