New command, server-info, to show server info + terminal details. Also tweak term stuff a bit.

10 files changed