Allow --no-mpi and --mpi as non first option

This is better with autocompletion. E.g. if I set
alias plumed="plumed --no-mpi"
autocomplation would have not worked since it would have seen
--no-mpi twice.