traivs-ci: install the petri module

We need to do this (or similar) so that the devserver script can find
the `ptero` executable.