Shell and Chevron both said on Thursday that the companies halted oil production at several platforms in the Gulf of Mexico following a small leak that knocked a pair of pipelines offline.