vincent's python-tools library