prox_l1linf now uses much less memory; also faster and improved
documentation.