configure: check camlp4 for examples that need it