improve robots.txt
define a title for the JSON output system home page, fix #238