removal of the pnml github site as a way to get the code (seems not valid/up-to-date wrt using the pnml web site or Eclipse update site) cc @lhillah