Sort introduction point lists by ntor public key.
Closes #1039 (closed)
Originally by @neel; this is a cherry-picked and re-commented version of !1652 (closed).
Closes #1039 (closed)
Originally by @neel; this is a cherry-picked and re-commented version of !1652 (closed).