begin preparation for 9.13.0
- tidy up release notes, removing the existing "security fixes" and "bug fixes" sections
- add a section in the release notes to discuss the new version numbering
- update version, CHANGES, api, and mapapi files
- regenerate documentation
Edited by Evan Hunt