Tor Manual: Alphabetize Server and Directory Server Options

Alphabetize options in the Server Options and Directory Server Options

Trac:
Username: swati