Text this: Algorithmic randomness for Doob's martingale convergence theorem in continuous time