Gulf International Bank B.S.C. reports half year profit