Interactive use of \includeonly
