Support for interactive mode.
Updated INSTALL.