CI/CD Pipeline & Codecov

[renman-ymd]

From @\Sigmanificient in #11:

We need to discuss about the elements to include within the CI. Following the instructions given within the assignment, pre-commit hooks have been already added to format the code properly.

We also noted in our first team meeting (call) that we should:

• use codecov with HUnit to get coverage metrics report
• find what the release automation is about
• check the project with hlint
• ensure all executables to build properly