fix(elisp/org-html-export.el): make "Try it yourself" button only for Lean src block

Fix #13
fix: remove redundant HTML_HEAD blocks from chapters