Manpages of src:bat-extras

• batdiff(1)
• batgrep(1)
• batman(1)
• batpipe(1)
• batwatch(1)
• prettybat(1)