v0.3.9

• Fix a typo #36
• Hover text should have the same syntactical render with the source code #33
• Support hover on identifiers with a single quote, e.g. name' and 'name #35
• Show more user-friendly error message for hover #32
• Support customizing Idris executable path #38
• Do not show duplicate hover when it is inside a diagnostic #39
• Fix a corner case issue for Add Clause command #41
• Add Idris commands to right-click menu #34
• Trim redundant whitespace and new-line character for Show Documentation command #40
• Support customizing hover behavior #37