Add a dockerfile, adapt example to dockerfile