optimize github ci docker builds

[rafaelcr]

some options:

• https://github.com/LukeMathWalker/cargo-chef
• separate Dockerfile into build stages that can be cached better

These currently take 15 minutes.