Update docker-dev with the new v0.7.3 release