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).