se muestran los rangos de hora en lugar de los id de hora.
Se agregaron pestañas para el filtro.
Se agregó una nueva opción al filtro para que filtre por departamento (aun no terminado)
Merge origin/master

Conflicts:
	generador-horarios-php/interfaz/ManejadorInterfaz.php
Merge origin/master

Conflicts:
	generador-horarios-php/interfaz/ManejadorInterfaz.php