add 'No Checkpoints' to Revert menu

when there are None, rather than an empty menu.

closes #3261