Fix issue #9: Las opciones del menú ya no se almacenan en la sesión del usuario:
 * Se eliminó el hook que almacenaba el menú en la sesión.
 * Se creó la librería Menu.php para obtener las opciones del menu.