docs: Add build timestamps to generated html/php pages
    
    In order not to make the build even less reproducible, honour
    SOURCE_DATE_EPOCH environment variable as specified:
    
      https://reproducible-builds.org/specs/source-date-epoch/
    
    Signed-off-by: Martin Kletzander <mkletzan@redhat.com>