+ppx_tools.0.99.2
Merge pull request #2866 from whitequark/ppx-tools

+ppx_tools.0.99.2