Manipulador usado para refrescar o ecrã. Usado como se segue:

       // Coloca cursor no canto superior esquerdo do ecrã:
       ecra << cursor(0, 0);
       // Escreve "Olá mundo!" a partir dessa posição:
       ecra << "Olá mundo";
       // Refresca o ecrã:
       ecra << refresca;