big pile of unrelated changes

added 2 commits

• 2ac27110 - tools: bring back vagrant and commit vscode settings
• 111dbd3b - tools: Dockerfile fixes for podman + readability improvements + remove unused setup script

Compare with previous version

added 8 commits

• f0e2d16f - thesis: background chapter
• b6410924 - uncomment toolchain file
• 02660775 - rename `kernel-lib` -> `library`
• b071bca4 - book: add UEFI intro
• 73792617 - book: move back to root
• c907035c - delete graphviz
• 92b7cbeb - tools: bring back vagrant and commit vscode settings
• 1ad27d4e - tools: build-image improvements

Compare with previous version

enabled an automatic merge when the pipeline for 1ad27d4e succeeds

merged