Fix CI image generation, make build verbose

Apparently, `cargo` doesn't notice that the main.rs file changed with
the COPY.