How to delete GitHubSearch

Born from the limitation that the online GitHub search has, where files larger than 384 KB are not indexed. This commandline search will download (and cache) the files before searching.