rework DeviceInfo.kt

Reduce duplication to make it easier to maintain.

Fix the following issues:

- possible problem with `EINK` value on `TOLINO_EPOS3` devices
  (since both `TOLINO` and `TOLINO_EPOS3` booleans would be set)
- `EINK` was never set to `EinkDevice.TOLINO_VISION6`,
  but checked in `device/EPDFactory.kt`
- same with `HANVON_960` & `HYREAD_MINI6`
- `LIGHTS` was never set to `LightsDevice.ONYX_NOTE_PRO`,
  but checked in `device/LightsFactory.kt`

Still not fixed:

- `LIGTS` could be set to `LightsDevice.ONYX_PALMA`,
  but was never checked in `device/LightsFactory.kt`

app/src/main/java/org/koreader/launcher/device/Device.kt

@@ -31,13 +31,23 @@ class Device(activity: Activity) {
     val einkPlatform = epd.getPlatform()
 
     val properties: String
-      get() = String.format("%s;%s;%s;%s;%s;%s;%b;%b",
+      get() = String.format("%s;%s;%s;%s;%s;%s;%s",
           DeviceInfo.MANUFACTURER,
           DeviceInfo.BRAND,
           DeviceInfo.MODEL,
           DeviceInfo.DEVICE,
           DeviceInfo.PRODUCT,
           DeviceInfo.HARDWARE,
-          DeviceInfo.BOYUE,
-          DeviceInfo.TOLINO)
+          when (DeviceInfo.ID) {
+              DeviceInfo.Id.TOLINO,
+              DeviceInfo.Id.TOLINO_EPOS2,
+              DeviceInfo.Id.TOLINO_EPOS3,
+              DeviceInfo.Id.TOLINO_PAGE2,
+              DeviceInfo.Id.TOLINO_SHINE3,
+              DeviceInfo.Id.TOLINO_VISION4,
+              DeviceInfo.Id.TOLINO_VISION5,
+              DeviceInfo.Id.TOLINO_VISION6,
+              -> true else -> false
+          }
+      )
 }