Merge branch 'fix/pkg-deb-dep-openmpi' into 'master'

Fix missing dependency on openmpi-bin for DEB packages.

This MR fixes the missing openmpi-bin dependency, which is required for packaged executables to run (even in serial without mpirun).

See merge request !630