Update and rename Cursidris.idr to Curses.idr