Docker Image for the CRUX Linux Distribution