jenkins: install camlp4 and depend on oasis