jmix:robots is not an options item type anymore. Now meant to be edited via site settings.
Fixed default value. Not internationalizable anymore.
Introduced Spring MVC controller to return aggregated, site-path prefixed versions of robots.txt at the top level. Need to check if this work if a simple site.
Removed now unneeded robots view of page.