Mavericks hiring Michigan's Dusty May as head coach: Source

May, 49, led Michigan to a national championship earlier this year.