Sometimes things change quite fast. It seems that I must have a look at kekkokk’s work. We are phasing out 14.04 and moving to 16.04.
Using Docker adds a complexity level, which we do not currently want. Therefore actual support for 16.04 would be very, very nice to have.