Software libre y educación (curso de iniciación): Guadalinex (Debian) y aplicaciones didácticas