Add a new tab which lists the current abbreviations defined, by wrapping the `abbr` command. Work on #731.