Release notes:

This release adds support for protocol 12 as well as regular improvements.

Stability improvements

Change the summary quorum information in the info endpoint to use the last SCP round. This makes it easier to use that field for monitoring.
Fix a few logging issues in overlay.
Fix a race in Windows builds that could cause intermittent failures during catchup.
Fix a mismatch in invariant names with the example configuration.