Added "cleanup-batch" option for browser settings in "wptdriver.ini".
The batch is executed after the browser should have been closed (e.g. the script can be used to close browser if it is still running)

Conflicts:
	agent/wptdriver/web_browser.cc
	agent/wptdriver/wpt_settings.cc
	agent/wptdriver/wpt_settings.h