Citizen activists tried to stop the government’s recent auction of 4,400 oil and gas leases in the Gulf of Mexico. They failed, but the auction brought in less revenue than expected.