I think it is reasonable for us to allow people to add an arbitrary piece of text to robots.txt at the moment we are going to need a plugin, on the upside it is a very simple plugin
I think a reasonable middle ground could be a hidden site setting for “appending something” to robots, that way this can be done without a plugin