A simple utility for downloading Chrome extensions