Added support for @-arguments (that read files containing more
arguments) like javac does (and removed it from the low-level compiler
so we don't try to substitute twice). This is one thing needed for #1076