Give Docker images non-root users, give crux-mir image a C compiler (#1261, #1262)

Give Docker images non-root users, give crux-mir image a C compiler (#1261, #1262) #824