The PeTeL environment for computer science teachers