Update libinteractive
Revive the literal grader

* Now 'literal' means that whatever was printed as stdout will be parsed
  as a floating point number and treated as score.