Goal Adaptive Discretization of a One-Dimensional Boltzmann Equation