Formalized the command line interface. Added a new output file format for patterns.