Awesome Python bindings for Pintool