Errores de bloqueo corregidos

-Corregido error donde los porteros se quedaban dormidos cuando debían
dejar pasar estudiantes.
-Corregido error donde las despachadoras se quedaban dormidas esperando
a que las reabastezcan con platos normales.
-FALTA: corregir error donde las despachadoras se quedan dormidas LUEGO
que cierra el comedor esperando por plato alérgico. Sucede un 10 % de
las veces.