Move server-internals docs into doxygen
Some of the server internals documentation is... bad. Though much of it is still quite valid, there's much that is out-of-date, and keeping it separate from the code hasn't helped. It would probably be a good idea (though quite a lot of editorial work) to move the documentation into doxygen-style comments in the code.