Using doctest to test documentation examples