Set timestamps for PDF and EPUB manuals to the start of Unix time.
Also, in case of EPUB files the generated article ID is unique and needs to be
tweaked and (beeing a zip file) strip-nondeterminism is used to get rid of
the remaining difference.