Updating ubuntu1204-docker baseboxes