mercurial で、heads と tips の違いがわかりません。だれかおしえて。