Added robots.txt;  Updated google shortened url.
Merge branch 'master' of https://github.com/ES-DOC/esdoc-splash