Put in batmen CLI the number of cores

It's annoying to have to recompile to change this parameter.