Naming change (DAKOTAthing -> DakotaThing), support 'text_book' example, stdout/stderr redirection.