Implement mechanism for migrating preference values
This task is to make it possible to rename a preference transparently for the user.
MercurialEclipse could do a migration task at startup so that values stored using old names are migrated to new names.