void add_input_line(string s)
Input a line of text into Hilfe. It checks if s is ".", in which case it calls state->flush(). Otherwise just calls add_buffer.
Tools.Hilfe.Evaluator()->add_input_hook()