Document serve port

Move documenting serve_port to a global docker option

Fix documentation of serve_port