Mark ppx_tools as unavailable on 4.03.
Merge pull request #2906 from whitequark/ppx_tools.compat

Mark ppx_tools as unavailable on 4.03