Added scripts to switch on/off hdmi output of raspberry pi, added handling of new UDP string command to switch on/off hdmi.