(Coloured) Hybrid Petri nets in Snoopy – user manual (Brandenburg University of Technology, Institute of Computer Science, 2017)