Update docker tutorial

 * 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`.