add documentation badge. [ci skip]