Interactive Visualization Meets Probabilistic Model Checking Artifact

This is the Artifact for the submitted paper "Interactive Visualization
Meets Probabilistic Model Checking". In the paper, we talk at length about
our prototype tool PMC-Vis, and the insights we are able to gather with it.
This Artifact contains the source code of PMC-Vis, as well as multiple docker
images that can be used to start the tool out of the box. Furthermore, we
included the example model used in the paper, as well as the experiment data
with instructions on how to replicate it in Artifact/README.md.