doc: Add Maven targets to deploy the generated HTML files

doc: Add Maven targets to deploy the generated HTML files

This adds Yet Another Maven profile, "deploy-doc", that will copy
the generated HTML files (and their images) to the project's
archives area on eclipse.org (or any other location defined by the
property "docDestination").

Change-Id: Ia1188f1e431b251025b54e00e29dfa4a92f62e40
Signed-off-by: Alexandre Montplaisir <alexmonthy@voxpopuli.im>
Reviewed-on: https://git.eclipse.org/r/41033
Reviewed-by: Hudson CI
Reviewed-by: Bernd Hufmann <bernd.hufmann@ericsson.com>
Tested-by: Bernd Hufmann <bernd.hufmann@ericsson.com>