CI

• use a rust image
• install python3 too
• install mdbook + mdbook-plantuml
• cache the installation steps
• build and deploy the book