Add function is.extinct.

This returns a vector of tip labels of the extinct taxa (or NULL, if none extinct).