Update docker tutorial to use standard install procedure

 * Use the standard installation instruction instead of the master
   version: 0.7 has been out for some time now.
 * As a result, switch to `sudo docker` instead of `sudo ./docker`.
 * Correct minor typos
Merge pull request #1248 from pquentin/docker-doc

Update docker tutorial