Merge pull request stellar#1860 from MonsieurNicolas/preserveHAS

Preserve buckets referenced by the Last Closed Ledger

Reviewed-by: vogel

Merge pull request stellar#1860 from MonsieurNicolas/preserveHAS

Preserve buckets referenced by the Last Closed Ledger

Reviewed-by: vogel

Merge pull request stellar#1824 from marta-lokhova/log_rotation_fix

Log rotation fix

Reviewed-by: jonjove

Merge pull request stellar#1844 from MonsieurNicolas/fixBrokenECDH

fix broken ECDH

Reviewed-by: MonsieurNicolas

Merge pull request stellar#1779 from ult-bobonovski/patch-1

remove redundant Ballot creation

Reviewed-by: MonsieurNicolas

Merge pull request stellar#1773 from Geod24/unused

Remove SCP's dependency on utils/types.h

Reviewed-by: MonsieurNicolas

Merge pull request stellar#1766 from marta-lokhova/extra_logging

Log time it takes to resolve a bucket

Reviewed-by: MonsieurNicolas

Merge pull request stellar#1671 from MonsieurNicolas/printxdr

replace "printtx" by "printxdr" (generic)

Reviewed-by: jonjove

Merge pull request stellar#1744 from MonsieurNicolas/windowsFix

Windows fixes post pr1718

Reviewed-by: jonjove

Merge pull request stellar#1609 from MonsieurNicolas/inQuorumCache

Improve caching strategy for figuring out if a node is "in quorum"

Reviewed-by: jedmccaleb