dev-env: Replace sed-gplv2 with the latest GPL-3 version
Avoid issues due to missing flags in the ancient non-GPLv3 version of sed
shipped by default.
Edited by Emanuele Aina
Avoid issues due to missing flags in the ancient non-GPLv3 version of sed
shipped by default.