An implementation of Metropolis-Hastings for Bayesian inference about the mean, when the data has a normal likelihood function, and we put a normal prior on the mean.  Variance is assumed to be known.