Re-register all users for push notifications with new keys when upgrading to Mobile SDK 13.0.

Without this, an application will not be able to decrypt encrypted push notifications if:
- it was first installed with Mobile SDK 11.x or older
- it has elected to disable re-registration entirely

Author: wmathurin

libs/SalesforceSDK/src/com/salesforce/androidsdk/app/SalesforceSDKUpgradeManager.java

@@ -127,6 +127,9 @@ else if (installedVersion.isGreaterThanOrEqualTo(new SdkVersion(9, 2, 0, false))
             if (installedVersion.isLessThan(new SdkVersion(12, 0, 0, false))) {
                 updateFromBefore12_0_0();
             }
+            if (installedVersion.isLessThan(new SdkVersion(13, 0, 2, false))) {
+                updateFromBefore13_0_2();
+            }
             if (installedVersion.isLessThan(new SdkVersion(15, 0, 0, false))) {
                 migrateAccountType();
             }
@@ -306,6 +309,10 @@ private void updateFromBefore12_0_0() {
         PushMessaging.setReRegistrationRequested(true);
     }
 
+    private void updateFromBefore13_0_2() {
+        // Re-register all users for push notifications with new keys once push is setup
+        PushMessaging.setReRegistrationRequested(true);
+    }
 
     /*
      *  Migrate any accounts with account_type "com.salesforce.androidsdk" to a unique value.