Aravind Srinivas’ startup is a powerful search engine for students and faculty