ppx_tools: fix opam 1.1 syntax.
Merge pull request #3167 from whitequark/fix-ppx_tools

ppx_tools: fix opam 1.1 syntax