Adds an option to the Settings (Reading) page that allows editing of the content in the `robots.txt` file.