3 ms·

We want to roll a Docker-image to make this easier, but did not get around to it yet. Contributions welcome.