leaner docker based devbox