Fixes #152. In the manual crawl API, the spaces in URLs are correctly
handled
Merge pull request #166 from emmanuel-keller/1.5

Fixes #152. In the manual crawl API spaces in URLs are correctly handled