ppx_tools 0.99.1
Merge pull request #2430 from alainfrisch/master

ppx_tools 0.99.1