Added gitignore for generated petrinet plug-ins.