Gas pipeline welding machines and tools