A GNU/Linux distribution based on Debwin for teaching children programming