Shorten picoc tests' names

Reason: they should be compilable under DOS.