weighted_ecdf function

Weighted empirical cumulative distribution function