An Optimal Diagonalization-Based Preconditioner for Parabolic Optimal Control Problems