Redmine

This is mostly for an early warning. If we need to upgrade the prototype.js (in public/javascripts); it did not work with 0.7.0_RC1. I have not looked at the problem(s) in depth. For convenience I have attached a copy of prototype.js 1.6.0.2, which is the latest version as of this writing. I am placing this as priority low, because there is most likely not an urgent need to upgrade this file. However, the author of prototype.js has added new functionality, some of which could have been helpful, for example with Issue #960, so maybe there are other helpful additions as well.