Speed up projectenv.sh generation and execution

• Improve projectenv.sh generation for super-project builds by populating extra_commands only once (needs cmake 3.19).
• Use a faster shell-based duplicate removal.

This cherry-picks the non-controversial part of !3458 (closed)

/cc @clemenci