“A government big enough to subsidize oil companies is a government big enough to switch that subsidy to solar energy research.”