Add command-line interface ./match (adapted from POPL 2012 version).