Interpreter.java: add a Button and Dvi to the default fleet