Minor changes to prototype.js to make it more rewrite-friendly.
Mark the copyright header so that it isn't removed by the JS compressor