Python+Redis shortener