Barrier-crossing transition-path times for non-Markovian systems