jquery: add jquery.js 1.9.1 for min.map (devtools)

also, use minified jquery-migrate.min.js