definition module CommandLine
/**
* This module provides access to the commandline arguments of
* the program.
*/

/**
* Read the command line arguments from the world.
*
* @param The world
* @return The command line arguments
* @return The world
*/
getCommandLine :: *World -> ([String],*World)