Fix make it possible to set the number of crawlers that should be used

Also format time into a more readable format than before
Merge branch 'master' of github.com:NAndreasson/web_crawler