Improve documentation

by expanding the section on server configuration and adding a section about
runnning the server.