Dockerfile to compile & run gnatsd