Remove 60 seconds limit in web crawl pause
Implements #1290
Initial version of #1290
Implements #514
Implements #514
Fix #1224
Proxy can be enabled/disabled #1290
Merge pull request #1297 from emmanuel-keller/master

Bug fixes and improvements