Add code to compute the proximal of TV + l1