Update required Idris version / installation guide