docs.html: add links to nightly build of manual as well

The html/pdf/text version of the manual is regenerated from current
git head every 6 hours.

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>