Se Mejoraron los nombres de las variables en vistas y controladores.
EjecutableListadoCartas sigue marcando error.
Se crearon CartaControlador y VenderCartaControlador.
cartas.txt solo funciona poniendo - para unir las palabras.