gibbs_normal function

Gibbs sampling of the normal sampling posterior