Windows commandline utility to switch the display between the HDMI and DVI ports of your video card.