Better web interface

Added description of solver, interactive examples, and a better URL
structure