The console tool spawns and monitors a bunch of nodes.

Now you don't need to specify a default read count.

Now, by default, we print the pid out in sendCmd() which allows us
to snarf it later and set lastPid correctly.

Now, we wrap os.kill() in a try block, so that if the process is
already gone we don't get an exception.

Caution: code is incomplete - can't set a default type from the CLI
and in some places the phrase xterm should be replaced by terminal.

Kill seems to get ignored, while quit kills the detached sessions.

We may wish to change this just to "mininet is copyrighted by its
authors" or something...

Added alpha releas comments, inc. do not distribute yet.

Added install notes for install.sh.

These may not be needed if they are pushed upstream.

This reverts commit 07aad110.

When the semantics are clear, functionality like this will get added back to
Mininet.

Conflicts:

	mininet/node.py

Controllers are no longer namespace-able, and all calls need one fewer
arg.

Also use more sensible temporary variable name.

Works around bug in newer version of kernel-package.

Thanks to Ben Pfaff who wrote the patch