[PATCH 1/2] gitlab: Merge the platform docker files back into a single file.