Bump to version 80.

_docs/history.html

@@ -48,7 +48,7 @@
 <p>&lt; <small><a href="index.html">Main Page.</a></small></p>
 
 <pre>
-Version 1.48.3 (2020/11/18)
+Version 1.48.3 (2020/11/20)
 
 FIXED   Possible crash for panorama if failing to crop due to poor transformations; now fails
         gracefully.

app/src/main/AndroidManifest.xml

@@ -2,7 +2,7 @@
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     xmlns:tools="http://schemas.android.com/tools"
     package="net.sourceforge.opencamera"
-    android:versionCode="79"
+    android:versionCode="80"
     android:versionName="1.48.3"
     android:installLocation="auto"
     tools:ignore="GoogleAppIndexingWarning">

app/src/main/java/net/sourceforge/opencamera/MainActivity.java

@@ -598,7 +598,7 @@ public class MainActivity extends Activity {
                     // E.g., we have a "What's New" for 1.44 (64), but then push out a quick fix for 1.44.1 (65). We don't want to
                     // show the dialog again to people who already received 1.44 (64), but we still want to show the dialog to people
                     // upgrading from earlier versions.
-                    int whats_new_version = 79; // 1.48.3
+                    int whats_new_version = 80; // 1.48.3
                     whats_new_version = Math.min(whats_new_version, version_code); // whats_new_version should always be <= version_code, but just in case!
                     if( MyDebug.LOG ) {
                         Log.d(TAG, "whats_new_version: " + whats_new_version);