BOFormer: Learning to Solve Multi-Objective Bayesian Optimization via Non-Markovian RL