Update documentation.

Indicate that brave is now a Java implementation of Zipkin. Before it
was more an alternative implementation of Dapper with Zipkin
compatibility.
Add version history documentation section.