[explorer/os_version] Convert Devuan ceres to version number

Conversion of Devuan ceres to version numbers is done based on Devuan codenames.
The version number is the version number of the final release - 0.01.

Analogous to Debian.
3 jobs for feature/explorer/os_version/devuan-ceres in 2 minutes and 20 seconds (queued for 1 minute and 31 seconds)
Status Job ID Name Coverage
  Test
passed #10337
pycodestyle

00:00:38

passed #10336
shellcheck

00:00:48

passed #10338
unit_tests

00:00:54