ci: skip pulpino build
ci: skip pulpino build

Cloning the pulpino repository and obtaining the required IPs fails on
Travis. Remove pulpino from the CI flow for now, to be added in
different form later.

fabianschuiki/moore,fabianschuiki/moore,fabianschuiki/moore,fabianschuiki/moore,fabianschuiki/moore