JPEGrescan: losslessly shrink any JPEG file