Function Dune::XT::Common::vector_to_main_args

static inline char **Dune::XT::Common::vector_to_main_args(const int &args)

converts a vector of strings into a newly allocated argv-style char** array (as passed to main)