Raising the U.S. gasoline tax is out as a way to shore up the Highway Trust Fund. So is taxing drivers based on the number of miles they clock. A plan to use taxes on companies’ overseas profits hasn’t gone anywhere.