Add a DB dump command.
Clean up of unicode/bytes encoding of basic app streams
Use io.open whenever possible
Use standard futuristic imports everywhere

Requires print-function-ization and updating of unicode_to_latex for
annoying \u non-escapes.