John's updates from this afternoon: handling command line options,
copying the proxy cert into place, etc.