tweaking Circle CI
tweaking Circle CI

more tweaks to come
DavidPfander-UniStuttgart/MatrixMultiplicationHPX,DavidPfander-UniStuttgart/MatrixMultiplicationHPX,DavidPfander-UniStuttgart/MatrixMultiplicationHPX