Improved ProgramTextUI

up to date javadoc, new buttons, works with mutable stackMachine.