Martingale and stationary solutions for stochastic Navier-Stokes equations