Updated patches for 2.13. Updated docs list and rules for renaming of examples.
Added patch for CGI front-end to report fatal errors instead of staying silent and leaving it to the web server.