* added information to kernel map screen
* now showing: #intcs, vivado version, tapasco version, timestamp
* also showing: host, mem and design clocks, caps bitfield
* changed layout a little bit, fixed width of 80 chars