tools: add dump-auxv.py
    
    This is a little helper I used when preparing the tests for auxv
    parsing. Just looking at hexdump output is pretty hard. We could
    enhance it to display some specific data types better.