added ppx_overload.1.0.0

Good point. I verified it works with 4.02.1+dev.