SimplePager: take into account the info bar

Fix issue #786 (SimplePager is a bit neglectful)

The info bar takes exactly 3 lines.
Rename "DEPRECATED" to "DISABLED"

Fix issue #817 (DEPRECATED: Use `edit` instead.)

Rename `CommandSet#deprecated_command` to `#disabled_command`. Rename
the file in "commands/", too.