prototype housekeeping: fresh minify and known-good source

Source:
https://ajax.googleapis.com/ajax/libs/prototype/1.7.1.0/prototype.js,
min’d with UglifyJS 2.3.6

Should help https://github.com/cdnjs/cdnjs/issues/2872