Helper to serve docs locally on port 8000