cc_string(3) on Linux

The text 7ee27c98ff09, as Debian 8 (Jessie) shipped it.

The cc_string type is a C ADT for ASCII string management. This is a Coin extension.

cc_string(3) on Linux now