ARCTraj: A Dataset and Benchmark of Human Reasoning Trajectories for Abstract Problem Solving