Google’s GitHub competitor gets better search tools