Sky Channel Changer

My MythTV box was changing channels a bit slowly, so with pointers from Wilf, I've hacked the Sky Digibox channel change script from The Nexus to send the commands all in one go for (marginally) faster channel changing. It also allows extra options to the irsend command. Download the updated version below.