We should allow short options like -h for --help. Also, the tool should complain upon unrecognized options.
