Set up a Jenkins job that builds the website
Originally created by @intrigeri on #15684 (Redmine)
… and run it upon push to the master branch.
Rationale: it happens that one pushes changes to the master branch (e.g.
b0b805ea) that break
./build-website
, which in turn breaks all ISO builds. Currently our
only way to alert people about the breakage is by notifying them about
ISO build failures. Not only many of us tend to ignore such
notifications (at least in part for good reasons) but I’m not even sure
that these notifications are sent to those who introduced the changes in
the base branch. So let’s add a simpler test job that merely checks that
the web site still builds, similarly to the one we already have that
checks PO files.