Drop shell installer and add files necessary to create deb files for each distribution

Existing solutions do not work well as different distros have different dynamic libraries dependencies that cannot be easily supported by the existing shell installer. Not without re-building the entire toolchain which is too time consuming.

Switching to deb distros now and that should make things easier.

This increases the number of buildbots we need, but can't see any other better/quicker way.