Change insider extension version formula after Prisma 4

[jkomyno]

Insider Extension Version

Fix patch-dev and dev versioning after Prisma 4 using these ideas:

Prisma 4.1.0-dev.1:
  -> $(major * 1000).$(minor).$(patch * 10000 + dev)
  -> 4000.1.1

Prisma 4.1.0-dev.2:
  -> $(major * 1000).$(minor).$(patch * 10000 + dev)
  -> 4000.1.2

Prisma 4.1.1-dev.1:
  -> $(major * 1000).$(minor).$(patch * 10000 + dev)
  -> 4000.1.10001

Prisma 4.1.1-dev.2:
  -> $(major * 1000).$(minor).$(patch * 10000 + dev)
  -> 4000.1.10002

Prisma 4.2.0-dev.1:
  -> $(major * 1000).$(minor).$(patch * 10000 + dev)
  -> 4000.2.1

[jkomyno]

cc @janpio @Jolg42

[janpio]

TODO: Figure out if these big numbers work.