Moved joern-tools documentation into docs.