Rename the installed Android package to ca.wallacenet.prolibertategames

Follows the Gitea repo rename: the applicationId (and its .dev variant)
now matches the repo, the launcher name and the docs, instead of carrying
the abandoned Pilgrims of Katan identity.

The JVM namespace stays org.prolibertate.games, so no source file moves;
only the installed identity changes.

Co-Authored-By: Paperclip <[email protected]>

app/build.gradle.kts

@@ -58,7 +58,7 @@ android {
         // A dev build installs under its own package, so a dev copy and a
         // production copy can sit side by side on one device instead of one
         // replacing the other.
-        applicationId = if (isDevBuild) "ca.wallacenet.pilgrimsofkatan.dev" else "ca.wallacenet.pilgrimsofkatan"
+        applicationId = if (isDevBuild) "ca.wallacenet.prolibertategames.dev" else "ca.wallacenet.prolibertategames"
         minSdk = 24
         targetSdk = 34
         // The -dev suffix in versionName is what the installed app reads to

app/src/main/java/org/prolibertate/games/update/UpdatePolicy.kt

@@ -12,7 +12,7 @@ import java.net.URI
  * meaning to be had from comparing across them, so nothing does.
  *
  * They also carry different applicationIds — a dev build installs as
- * `…pilgrimsofkatan.dev` — so both can sit on one device, each updating
+ * `…prolibertategames.dev` — so both can sit on one device, each updating
  * itself down its own line and leaving the other alone.
  */
 enum class UpdateChannel(val label: String, val blurb: String) {