Main web interface is now client-side; server sends results at HTML

This gives us much more flexibility to, for example, display an loading
icon while waiting for the server and immediately respond to user input
Update app engine server to new client model
Clean up layout and appearance of web solver
more style fixes
spelling