Tidy up main http://build.webkit.org page