integration1d requires camlp4
Merge pull request #2575 from yallop/integration1d-camlp4

integration1d requires camlp4