Regularize tool names

Summary:
Currently, some of the items in the Tools menu have "tool" in the name, and some
do not. This is in any event redundant since they're in a menu with that word in it
already. In the toolbar, these actions become more inconsistent since their names change
and can even differ between what's shown in the pop-up menu and what's shown on the
button text.

This patch regularizes the names, stops changing the names for the toolbar versions, and
updates the docbook accordingly.

Test Plan:

Reviewers: Okular, VDG, filipf

Reviewed By: VDG, filipf

Subscribers: filipf, okular-devel, kde-doc-english

Tags: Okular, Documentation

Differential Revision: https://phabricator.kde.org/D21621