[dist] Get the CI containers out of the dev environment

This simply is not prepared to be ran with any other uid than
1000 and is not really something that we should point new
contributors to.