Redi: a simulator of stochastic biochemical reaction-diffusion systems