get_and_unzip.Rd
downloads and unzips file if it is not found in current wdir
get_and_unzip(url, filename)
filename
if (FALSE) { get_and_unzip('url', 'qob.txt') }