An Analytic Calculus for the Intuitionistic Logic of Proofs