Python tools that come handy now and then