Add options to doctest examples while they are running