robots.txt: Bing bot spams gitweb...disable it hopefully.