+ppx_deriving.0.3
Merge pull request #2598 from whitequark/master

+ppx_deriving.0.3