Change '.idr' to '.ipkg' in installation instructions.