add --numproc argument to "discodop parser" command