Algorithmic randomness for Doob's martingale convergence theorem in continuous time (Logical Methods in Computer Science, 2014)