Add tests for $ARGV

There weren't apparently any. This also tests that $ARGV behaves
correctly both with <> and <<>>.
Clarify the documentation for <<>>