Merge "Migrate to ubuntu1804-docker"