Doc files included in python distribution