Move the server chapter into the operations part.
Move the server operations sources into the ops/ directory.
Reduce the information about the web ui to the bare minimum.
Update to doctools version 15 to fix a graphviz issue.