HalfCauchy function

Half-Cauchy distribution