prop351: Define two variants for the socks extensions

Having these as separate variants makes it easier for C tor to ignore the existence of RPC.

Note that the C implementation merged under tor!828 (merged) is still conformant under this change.