Ledger acquire fixes/cleanups/logging.
* Inbound ledger and SHAMapAddNode cleanup.
* Log acquire stats.
* Fix progress logic.
* Remove ledgers we no longer need to acquire
* Stash stale data in our fetch pack, it can still be useful
On websocket ping out, close abnormally