use 32bit IEDriver because of http://stackoverflow.com/questions/14461827/webdriver-and-ie10-very-slow-input