Merge branch 'bugfix/scotch/headers' into 'master'

fix scotch header position, scotch does not include stdio, stdint and mpi...

See merge request !9
4 jobs for master in 7 minutes and 34 seconds
latest
Status Job ID Name Coverage
  Build
passed #566217
build_pampa

00:01:21

passed #566218
build_pampa_doc

00:01:54

 
  Test
passed #566219
test_pampa

00:02:19

 
  Analysis
passed #566220
sonar

00:03:19