Update web_root to public

web_root is confusing and may lead people to think they should use the project base directory. Since the built-in PHP web server doesn't recognize htaccess files, it needs to use the /public directory instead.