GasBuddy’s Patrick De Haan analyzes the debate over a federal gas tax holiday as drivers prepare for the peak summer travel season.