2020-12-04 Vivien Kraus * update: build with 4 cores 2020-11-25 Vivien Kraus * pre-commit: Check that the code is indented in the pre-commit hook.