implement Proc.strings() and add examples/libc-dump-*.py