Update prox.jl

Corrected soft thresholding for l1 norm