Add some kind of manifest (git commit hashes) for debugging purposes

[ricarkol]

We could print the solo5 and rumprun commit hashes right after the solo5 banner.