Manpages of dieharder in Debian stretch