idris-mode: fixed link to homepage (merge #1671)