Add a simple Dockerfile, using Ubuntu 18.04, and the base OpenSTM32
build toolchain at version gcc-7-2017-q4-major_gdb-5_4-2016q3