Update docker-dev with the new v0.7.3 and v0.7.4 releases