dist target bundles a .tgz of the documentation

Useful for the web site or distribution. It includes
the html tree + the pdf and epub at the same level
as the index.html

Change-Id: Ibec4e06d3c06ac98fecdcec4d21f75311fa9a9f4