Romove POPL instructions
Add install.html
Complete overhaul