The software giant chose not to make a formal bid, according to CNBC, leaving the door open for SpaceX to lock up rights to the AI coding startup