Support configuration migration
For instance, !17 (merged) changes the orca key binding option content, which would thus need to automatically migrate old configurations to the new option name for capslock.
This is a more general problem which we should implement more generally.