Some python tools I've needed for different things.