travis-ci: set paths to petri and shell command