Added gitignore for petrinet diagram code.