Hi Philip,
my solution works without Docker (as described in chapter 2 of the official installation guide).
It should also work with other Linux distributions (tested with Ubunto Server 64bit). You only have to change the “ESP8266 cross-compile toolchain” file.
If you would distribute an image or uSD card you would have an outdated system soon, because the server and drivers are updated often on github.
A good idea would be a proper automated installation script though …