Some general tools for python, including a progress bar