Add triggers for some jobs that lacked them

The hotdoc jobs and the update-tests-binaries job were lacking triggers. The latter had it manually configured on Jenkins (that is, until anybody would update it from git).