Initial revision of get_platform_extension
Fixed issues in IMS
Merge branch 'master' into fixOOIION1010

Conflicts:
	extern/ion-definitions
	ion/services/sa/instrument/instrument_management_service.py
Polished IMS get_platform_extension