stm32 development environment with Docker