Executes a batch of commands. The batch is defined as a text file, where each line defines one command. Leading and trailing whitespaces are ignored. $USAGE$ Example(s): exec scripts/batchscript