some python tools I wrote