Minified platform.js file (using uglify2)

Pull request for issue #37.