The technology behind GitHub’s new code search