A proximal optimization solver in Python