Command-line parameter for yyextra

Made a small change so yyextra can be passed as a command-line parameter (instead of being hardcoded).

@robertkluin-wf @tannermiller-wf