prior_half_cauchy function

Prior half-cauchy distribution