Getting docs in C embedding

The necessary methods are defined in the REPL module.

import REPL

solves the problems.