gnutls_psk_free_server_credentials(3) on Linux

The text a9c0b4c427e6, as Debian 4.0 (Etch) shipped it.

Used to free an allocated gnutls_psk_server_credentials_t structure