boost: Remove `enableMPI` option

To deactivate mpi support by default, simply set `mpi = null` on the
call site.
boost: Remove bash verbosity around activating mpi