Use appropriate executable extension for the platform.
Merge branch 'master' of https://github.com/whitequark/ppx_tools