- Se arregla el redirect (al final queda usando variable de sesión porque si no

- Se arregla el redirect (al final queda usando variable de sesión porque si no
  había que arrastrarlo por todos lados, pero se borra cuando no se necesita
  más). Ahora no hace falta pasarle el origen a pagina_check_login(), lo
  averigua solo.
- Algunos bugfixes menores (páginas a las que le faltaba el include de
  lib/pagina.php y hacía que falle el logout).
- Se pone bien el $Id$ de los archivos.