[scripts] add patch-specs.sh, a utility for modifying GCC specs