Use args4j for option parsing