added ppx_overload.1.0.0

could this be `>= 4.02.0`?  There will be a 4.02.1 soon