Some improvements to the Dockerfile and the usage of compilation databases
This MR contains two independent changes:
- The first makes sure we use CMake's compilation database whenever possible (ie: in SonarQube properties and when running cppcheck)
- The second introduces a docker compose file to let users get a development environment in a single command, and also makes sure we verify the checksum of the archives we download from the scary internet.