Krugle, a code search engine, was released