Export private keys from wallet

Indeed, there is one that worked perfectly for my purpose: tools/wallet-tool

I first needed to decrypt the wallet (possible with the tool) and then it was able to dump the addresses and private keys.