formatting and javadoc
new structure: main debugger in abstract base class, but implementations
for testing and text ui