camlp5 release 8.04.00-4 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
[dgit split-maint-view-tag=ab7e12200710a1508052a7450ebfd8de17bbfa04]