build, debian: Add a suffix to the main TrIPE-specific manpages.