ci: fix pulpino cloning
ci: fix pulpino cloning

Fix the `ci/clone-pulpino.sh` script which currently breaks because the
`pulpino` directory does not exist anymore, since we have removed the
compile scripts therein.

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