Correct Hadolint Linter Issues in .config/gitpod/Dockerfile

[ThomasSanson]

Hello,

I've come across an issue in the .config/gitpod/Dockerfile file that needs to be addressed to improve code quality and maintainability. Here's a brief explanation of the changes that should be made:

1. Add a shell option for pipefail:
   It is recommended to add the pipefail option to the shell command to ensure that if any command in a pipeline fails, the entire pipeline will fail. This helps avoid unexpected behavior and makes error handling more straightforward.

2. Ignore DL3008 and DL3013 Hadolint rules:
   These rules, while useful in some cases, can be too strict in certain situations. For this project, it would be better to ignore these specific rules to avoid unnecessary complications.

Here's the proposed change for the .config/gitpod/Dockerfile file:

...
SHELL ["/bin/bash", "-o", "pipefail", "-c"]

# Update system and install packages, including Docker
# hadolint ignore=DL3008,DL3013
RUN apt-get update \
...

Please let me know your thoughts on this proposal or if there's anything else that needs to be considered.

Thank you!