added use of traceur-runtime.js (essential for IE)