Collège Elisabeth de Portes, Restaurant scolaire et bibliothèque à Crassier