Add an option to suppress starting of web browser (closes #436)