[vdr] Small python script to rearrange channels.conf.