Selenium2 webdriver for Eiffel