IO manipulators for stream output

Use the IO manipulators to prettify the debug stream output.