Build: bumplibs: add git coloring and more info

Show PRs merged & commits touching each library.
Don't bork on headers gone but rather report and proceed.
Don't use pager on diff output for proper scrollback.