How to quick-pickle onions (or anything else)