An HTTP interface for MPC-HC