Improved timing of the millisecond pulsar PSR 1937+21 using real-time coherent dedispersion