[ewg] ofed_1_2: Please pull ~halr/management.git

[Hal Rosenstock]

Hi Vlad,

Please pull latest ofed_1_2 branch of ~halr/management.git on the OFA
server.

Changes:
opensm/include/opensm/osm_version.h: Bump version to 3.0.9
opensm/osm_console.c: In help output, specify quit is not valid in local mode
opensm/osm_sm_state_mgr.c: In __osm_sm_state_mgr_send_master_sm_info_req, handle master GUID port not found properly

Thanks.

-- Hal