Apprentissage de Red Hat Enterprise Linux, Linux sur LabEx