Add TreeSequence.discrete_time property

[jeromekelleher]

This will be useful in a few places where we want to know how much precision we need for outputting time values.

Can follow the approach used for discrete_genome pretty closely.

[benjeffery]

I'm on this one today.