It still compiles on Rust 1.41.1 (with a few clippy warnings). Also, move CI-related `Dockerfile` to `Dockerfile.ci`.