add asan_symbolize.py to tools