Take stprov for a trial run in qemu and CI

Closes #13 (closed).

(I tried to keep this relatively small to ensure that we get something running in our CI, basically what I'd be running over and over again locally if anyone asked me to review anything in this repository. In a future MR, I think we could make this coverage a lot better. But before digging a hole around this I'd like to discuss the details with someone. Not at the top of my list at the moment, though.)