Update docker-dev for v0.8.0