Implement clock ticks on linux.
Add command line support for specifying the browser to run on in benchmark_sse1.py