TomD/Tony: add script to set registry settings so IE10/IE11 works with Selenium.