add traceur-mini.js