[doc] Fix bugs with clones

• clone with qualified identifiers
• clone details HTML target
• hypotheses feedback (incorrect icon for hypotheses & values)
• documentation of with axioms .
• link for implicit renaming clone A with id[=id],...

fixes #60 (closed)