Disallow all user-agents in robots.txt

By default we won't want Diffux sites to be spidered.

Change-Id: I83ef800979f132e37bfed62279a541125a671fb6