Merge pull request #1082 from AlexandreToyer/master

Documentation: add page for Docker
Implements #1083
Merge pull request #1086 from emmanuel-keller/master

Implements #1083
Fix #1087
Fix #1083. The checkbox is disabled while the crawl is running.
Default JSP for the Renderer is set to SimpleHtml
Merge remote-tracking branch 'upstream/master'
Set default HTML template for the renderer
Update create_update.md

Expanded an abbreviation.
Update get.md

Expanded an abbreviation and added a period, oh wow.
Update list.md

Tiny language clarifications.
Implements #884
Fix type (booTstrap) on #885
Merge remote-tracking branch 'upstream/master'
Merge pull request #1097 from emmanuel-keller/master

Bug fixes and improvements
v1.5.8 change log
Merge pull request #1101 from emmanuel-keller/master

v1.5.8 change log
Implements #1105
Implements log info on #1105
Merge pull request #1108 from emmanuel-keller/master

Implements #1105