Rename idris.idris to idris.idr