Manpages of fpgatools in Debian jessie