GitLab

Build-time timestamps in the Doxygen docs make the build unreproducible.
Signed-off-by: Luca Boccassi <bluca@debian.org>