progress: source this file for bash progress bars