Add --no-caf and --no-mpi configure options
stop script does no longer use wait(pid)