coal: use preformatted text for descriptions (
issue2835)
The coal style was broken here by an earlier change to paper, which
shares files.
rebase: add option --tool/-t for 'pull --rebase'
This makes 'pull --rebase' consistent with the merge command, which already
provides that option to control the merges