Dockerfile as a development environment

[panosfol]

• 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 conflicts with ".so" files

Closes #936

[jrgemignani]

@panosfol Will creating an moving the Dockerfile to another directory be okay?

[panosfol]

@jrgemignani IMO it's irrelevant whether we move the Dockerfiles in another directory or keep it at root. This is done just to avoid bloating of the root folder by adding Dockerfile.dev.

Running via docker build should be the same if you specify -f <Dockerfile> or --file <Dockerfile>

[jrgemignani]

@eyab and myself will need to verify that Dockerhub won't be impacted by these changes. That would be my only concern atm, and possibly, other items pointing to, or using, the docker file. Unless, I'm misunderstanding the docker file usage.

[panosfol]

@eyab and myself will need to verify that Dockerhub won't be impacted by these changes. That would be my only concern atm, and possibly, other items pointing to, or using, the docker file. Unless, I'm misunderstanding the docker file usage.

The Dockerfile that is being used by Dockerhub remains unchanged therefore no problem will arise. The new dockerfile that was added is strictly for development puproses.

[jrgemignani]

@panosfol One of us (likely @eyab or myself) will try to look into this this week. The hold up has been other work and the move from PostgreSQL 11 to 12. We will need to review the Dockerhub setup, which is why I've been holding this PR off.

[jrgemignani]

@panosfol Once this PR has been approved and merged, you will need to create one tailored to PostgreSQL 11 and submit it against the PG11 branch.

[panosfol]

@jrgemignani Fixed!

[panosfol]

@jrgemignani should this be changed for PG13? And produce 2 more for PG12 and PG11?

[jrgemignani]

@jrgemignani should this be changed for PG13? And produce 2 more for PG12 and PG11?

I'm going to have one other review this and then, provided everything is okay, merge it into the master. Assuming all goes well and there are no issues, you can create those additional PRs.

[MuhammadTahaNaveed]

looks good.