change terminal name

The terminal name now contains the virtualenv (### if empty)
the user, and the hostname. This should make it easier to handle many tabs and
terminals together.

Signed-off-by: Erik Bernoth <erik.bernoth@gmail.com>