redirect old /web/ to homepage - issue 1272 (issue 47860043)

[graham]

probably ok, but I'm not an expert on .htaccess.

Note that Phil will need to run "update security scripts" or whatever
they're called.  "trusted-scripts", maybe.  All the steps should be
documented in the CG website section on uploading on security.


https://codereview.appspot.com/47860043/diff/1/Documentation/web/server/lilypond.org.htaccess
File Documentation/web/server/lilypond.org.htaccess (right):

https://codereview.appspot.com/47860043/diff/1/Documentation/web/server/lilypond.org.htaccess#newcode75
Documentation/web/server/lilypond.org.htaccess:75: RewriteRule ^(/*)$
%{ENV:WEB}/ [QSA,L]
I'm not too clear on this stuff.  Did we define ENV:WEB somewhere?

https://codereview.appspot.com/47860043/diff/1/Documentation/web/server/robots.txt
File Documentation/web/server/robots.txt (right):

https://codereview.appspot.com/47860043/diff/1/Documentation/web/server/robots.txt#newcode23
Documentation/web/server/robots.txt:23: Disallow: /doc/v2.15/
we probably want to add /doc/v2.16/ and /doc/v2.17/ as well.

https://codereview.appspot.com/47860043/