posterior_cdf generic?

[wds15]

We have posterior_interval to get quantiles from the posterior... but sometimes we need the reverse and ask for interval probabilities for which the CDF is needed. This would probably make sense for most of the posterior queries we have (posterior/predictive/linpred). The default implementation could very likely already do the the job for most situations by integrating the indicator functions accordingly.