openacs.org now runs 5.1.3

After over six months of struggle by a lot of people in the community we finally made it and upgraded openacs.org to 5.1.3.

Special thanks go to Joel and Dave for the hard work of the first upgrade scripts, Don for performance tuning and many others which I forgot to mention here.

Contributed by Malte Sussdorff