new whonix_build_both script: small hack to build both virtual machines, as long as whonix_build does not support --all.