code review 5376066: exp/terminal: rename shell to terminal and add SetSize

exp/terminal: rename shell to terminal and add SetSize

It was never really a shell, but the name carried
over from SSH's ServerShell.

Two small functional changes:

Add SetSize, which allows the size of the terminal
to be changed in response, say, to an SSH message.

Don't write the prompt if there's already something
on the current line.

[agl1, 2011-11-11 16:23:45]

Hello rsc@golang.org (cc: golang-dev@googlegroups.com),

I'd like you to review this change to
https://go.googlecode.com/hg/

[rsc, 2011-11-11 18:03:59]

LGTM

Maybe eventually the package should be named vt100.
Not now though.

[agl1, 2011-11-11 19:04:32]

*** Submitted as http://code.google.com/p/go/source/detail?r=0c0f211fbacf ***

exp/terminal: rename shell to terminal and add SetSize

It was never really a shell, but the name carried
over from SSH's ServerShell.

Two small functional changes:

Add SetSize, which allows the size of the terminal
to be changed in response, say, to an SSH message.

Don't write the prompt if there's already something
on the current line.

R=rsc
CC=golang-dev
http://codereview.appspot.com/5376066