added 'jump window size' and 'set' parameters in OAI-PMH dump console utility