Major update to prox_scale

Prox_scale now allows you to scale with a matrix U instead of a scalar,
as long as the matrix is a tight frame (UU’ is multiple of the
identity) or, if the original prox is separable, UU’ is diagonal.