So I decided to start my own IDE: µPIDE

It currently does exactly what the kids need and expect: They can create and run python code and do the typical file operations (move, delete, rename, new, ...) and they get some basic error highlighting. It does that without any configuration as it detects the board itself. So for the kids it's just a matter of running the IDE to get going.
Get the current version at https://github.com/harbaum/upide
There are still a few features on the agenda like a way to install the Micropython firmware in the first place and also some sort of demo/example library.