Use versioned SO for symbol access from Python

This MR patches the ctypesgen build of the Python bindings to use the versioned SO filename for linking (e.g. libframel.so.8 instead of libframel.so); at runtime this will be present, while the unversioned file may not be (RHEL/Deb).