Serve docs from public docs directory in production

I.e., instead of serving them out of source directories.