C++ server code

Latest master merged in. We should discuss the layout of the code.
Just realized these are header files for boost (correct?), nevermind!