idris-mode: fixed link to homepage