Added some argument parsing to the patsolve tool.