Adding Dockerfile

[guilhermeolivsilva]

This PR adds a Dockerfile to make onboarding new users more smooth. The Docker image it builds contains all the necessary packages --- including upmem and the virtual environment. To use it, one simply has to

1. Build the image

docker build -t cinnamon-dev .

2. Start a container

docker run \
    --rm \
    -it \
    -v \
    "$PWD":/workspace/cinnamon \
    -w /workspace/cinnamon \
    cinnamon-dev

3. Build Cinnamon inside the container

just configure -no-torch-mlir

As the container is mapped to the root of the project, it can be safely exited without losing data.

[guilhermeolivsilva]

@CapZTr please update your lime fork to drop the commit hash from the repo URL in the .gitmodules file:

[submodule "eggmock"]
	path = eggmock
	url = https://github.com/jungnitz/eggmock.git
	branch = dev
[submodule "mockturtle"]
	path = mockturtle
	url = https://github.com/lsils/mockturtle.git

As of now, it will fail to submodule init because the URL is invalid.