Use HLint and Code formatter

Use HLint and a code formatter on the codebase and add corresponding checks in CI. I don't have any strong preferences on Brittany vs. Ormolu vs. Fourmolu.