update_prior
uses the equation for the posterior:
$$
\phi(\lambda | R; N,P) = Pr(R|\lambda; N,P) \phi(\lambda) /
\int Pr(R | \lambda'; N,P) \phi(\lambda') d \lambda'
$$
where \(\phi\) is the prior and \(Pr(R | \lambda; N, P)\) is the
probability of R reports of heads given that people lie with probability
\(\lambda\):
$$
Pr(R | \lambda; N, P) = binom(N, (1-P) + \lambda P)
$$