Instead of using wget and curl for different installation tasks, move all usages to curl to only rely on one tool. Signed-off-by: Xavier Delaruelle <xavier.delaruelle@cea.fr>