[7m echo [0;0m

The echo builtin prints its arguments to stdout, separated by a space, and
terminated by a newline.  TODO: Describe flags, etc.
