dedicated repository for wikipathways-webstart plugin