rustup doesn't need to write config.tmp
Romove POPL instructions
Remove CNAME temporarily so I can push to my own gh-pages
Add install.html
wip