Merge branch 'master' into magma_refinement

.gitignore

.gitlab-ci.yml

build/Makefile

build/Makefile_am.bak

build/Makefile_in.bak

build/aclocal.m4

build/build_aux/.gitkeep

build/build_aux/ar-lib

build/build_aux/compile

build/build_aux/config.guess

build/build_aux/config.sub

build/build_aux/depcomp

build/build_aux/install-sh

build/build_aux/ltmain.sh

build/build_aux/missing

build/configure

build/configure

build/configure.sh

build/configure_ac.bak