rdma_free_devices(3) on Linux

The text e3f38488512c, as Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

Frees the list of devices returned by rdma_get_devices.