Push the Ubuntu version number to 13.10.
Use stackbrew container for Docker Registry service.