Fix branch name from jellyfish to koi in the document of koi release