Panagiotis Foliadis

Dockerfile as a development environment

1

**Is your feature request related to a problem? Please describe.** Contributors should also have an option to develop using docker containers. As of today, this is partially possible, except in...

* Dockerfile.dev: This variation of the original Dockerfile is introduced to help developers run their testsuite in the build phase of the docker image. * .dockerignore: Added .dockerignore to avoid...