This patch makes it possible to create scripts to be used as addiional BUILDENV options. It does not include any such scripts itself, which would be up to users to install as supplemental packages. buildenv_ext.sh is based on tidy.sh; doing exactly the same thing that tidy.sh does for OPTIONS.