Yet another lightweight Linux distribution for Docker containers - bargees/barge-os