Buck build: Add 'docs' as an alias for Documentation:html

Now it is possible to build the documentation from the Gerrit
root folder with:

 $ buck build docs

Change-Id: I995d792167abaef2b7962c620a9520d4d930ede5
1 file changed