config: rename --pool-priority to --priority, --coin to --description.

There are now get_current_pool() and current_pool(), which is confusing.
Moved them closer together, so it's at least obvious.
misc: Bump version to 4.1.242.