HomeSoftware Heritage

jobs/swh-docs: Add job to build doc when submitting phabricator diffs

Description

jobs/swh-docs: Add job to build doc when submitting phabricator diffs

When submitting a phabricator diff to the swh-docs repository, a Jenkins
job will be executed in order to check sane build of the full Software
Heritage documentations (dev, user, sysadmin).

Closes T3661

Details