Docker development environment

[jmleroux]

I don't have any local php installed and work with many different PHP and webservers versions. Working with Docker to switch between all these dev environments

Setting up the environment is as simple as

docker compose up -d

We can access the running app at http://localhost:8080

We can also easily install Composer dependencies with

docker compose run --rm cockpit composer install

This is how I detected that the mongodb extension was missing in the composer.json file

[jmleroux]

Note: the Dockerfile is heavily inspired from Cockpit v1: https://github.com/agentejo/cockpit/blob/next/Dockerfile

[jmleroux]

Also, running the composer install will show that we miss some dependencies in the commited vendors. It would be way simplier to not commit these vendors at all. see https://github.com/Cockpit-HQ/Cockpit/issues/80

[jmleroux]

Should I close this PR?

[aheinze]

Thanks for the contribution 🙏