Kernel printing: Improve iname ordering in output.

This adds a tool for computing the iname nest efficiently, for printing.

Closes #5