rdma_set_option(3) on Linux

The text 3a9d15ae2828, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

Set communication options for an rdma_cm_id.

rdma_set_option(3) on Linux now