Reverted the ugliness that tries to support main(array(string) args).

It isn't compatible when the type for main is underspecified for one
reason or the other, and it's very ugly to call a callback differently
depending on its type.

Rev: lib/master.pike.in:1.210