Πολυτεχνειούπολη Ζωγράφου, κεντρική Βιβλιοθήκη