Web worker enhancements

[hrj]

• Detect worker capability in browser, and only then install worker proxy
• Allow worker to be disabled via API
• Limit number of workers by having a worker pool. See this for techniques.
• Use current-script's text converted to a blob, as URL for worker, instead of the original URL. (Avoids network request).