Fix #684: minify all *.js in dist/ (#695)

Gruntfile.js

@@ -71,28 +71,10 @@ module.exports = function (grunt) {
             dist: {
                 files: [{
                     expand: true,
-                    cwd: 'src/',
-                    src: [
-                        /* static files */
-                        'xorigin.js',
-                        'dependencies.js',
-
-                        /* extensions and CodeMirror modes */
-                        '!extensions/**/*',
-                        '!**/unittest-files/**',
-                        'thirdparty/i18n/*.js',
-                        'thirdparty/text/*.js'
-                    ],
+                    cwd: 'dist/',
+                    src: '**/*.js',
                     dest: 'dist/'
                 }]
-            },
-            nls: {
-                files: [{
-                    expand: true,
-                    cwd: 'dist/nls',
-                    src: [ '**/*.js' ],
-                    dest: 'dist/nls'
-                }]
             }
         },
         copy: {

package.json

@@ -29,7 +29,7 @@
         "grunt-contrib-jasmine": "0.4.2",
         "grunt-contrib-less": "1.4.0",
         "grunt-contrib-requirejs": "0.4.1",
-        "grunt-contrib-uglify": "2.1.0",
+        "grunt-contrib-uglify": "^2.3.0",
         "grunt-contrib-watch": "0.4.3",
         "grunt-eslint": "18.1.0",
         "grunt-exec": "^1.0.1",