Add definitions for progress.js