Simplify Linux deployment

[vitalyrepin]

It is not always easy to install Kumir on diffeent flavours of Linux.

I suggest to distribute docker images through official (?) repository at docker hub: https://hub.docker.com/r/niisi/kumir2

I dockerized latest Kumir distro myself: https://github.com/vitalyrepin/kumir2-docker and pushed it to the hub: https://hub.docker.com/repository/docker/vitalyrepin/kumir

However, I believe that docker images with Kumir deserve wider Kumir community attention.

[Sturwandan]

Maybe, it's better to use some stand-alone AppImage or something, where the entire program is stored in single file which is loop-mounted at runtime? Or, perhaps, both. Though I prefer to compile from source and then run from build directory. It doesn't require installation of extra software and can use system libraries if they are available.