Merge branch 'mi_use_hex_version' into 'develop'

issue #14: postgres extension versioned with hex git sha

See merge request hive/haf!30