CA-127849: Fixed bug in the C SDK autogeneration code which was causing the call xen_<class>_xen_<class>_record_map_free to crash.

Also added a simple test.

Signed-off-by: Konstantina Chremmou <konstantina.chremmou@citrix.com>
More flexible versioning of the SDK.

Added ability to override the product micro version as obtained from branding.
Corrected all in-code mentions of the SDK zip file name.

Signed-off-by: Konstantina Chremmou  <konstantina.chremmou@citrix.com>