Rename "onion_pkey" fields in routerinfo_t, and make them optional.

(Renaming them has forced me to look at every place where they are used, so I
can make sure that they are really optional now.)