Python script to retrieve line info from an android tombstone using ndk-stack and addr2line