Columbia's library building features the names of only male authors. After 3 decades of trying, these students have fixed that