Added How-To for running server (better format)