SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes - View it on GitHub