Gulf Air announces summer season flights to Alexandria