adding Maxima REPL