Add a test for Stable ABI symbol availability using ctypes

This is a cross-platform check that the symbols are actually
exported in the ABI, not e.g. hidden in a macro.

Author: encukou