get_toplevel_command_line

Returns the arguments of the command line the compiler was started with, so a build script can read its own options.

get_toplevel_command_line :: () -> [] string