Update docker-dev to 0.7.2
Merge pull request #13 from tianon/docker-bump

Update docker-dev to 0.7.2