Gravar-mail: Convex optimization problem prototyping for image reconstruction in computed tomography with the Chambolle-Pock algorithm