Manpages of fpgatools in Debian stretch