Educational Linux OS for the Teacher-Researcher