Document --server option in __doc__.