Varias mejoras para libinteractive

* Se revivió el validador literal: ahora si se elige este validador, lo
  que venga en stdout se interpretará como el score.
* Ahora se valida que el problema de libinteractive tenga al menos un
  caso de ejemplo.
* Se actualizó la versión de libinteractive