Changing URLs from HTTP to HTTPS

I have changed the URLs from `http` to `httpst`. In particular the page `latest.txt` can be reached on both port 80 and port 443.

Author: luigigubello

app/src/processing/app/UpdateCheck.java

@@ -51,7 +51,7 @@
  */
 public class UpdateCheck implements Runnable {
   Base base;
-  String downloadURL = tr("http://www.arduino.cc/latest.txt");
+  String downloadURL = tr("https://www.arduino.cc/latest.txt");
 
   static final long ONE_DAY = 24 * 60 * 60 * 1000;
 
@@ -116,7 +116,7 @@ public void run() {
                                                     options,
                                                     options[0]);
           if (result == JOptionPane.YES_OPTION) {
-            Base.openURL(tr("http://www.arduino.cc/en/Main/Software"));
+            Base.openURL(tr("https://www.arduino.cc/en/Main/Software"));
           }
         }
       }