Revert "robots.txt: Bing bot spams gitweb...disable it hopefully."
Found another way.

This reverts commit 7500504bc055573bc50ae5b9349a3a92a4bc237d.