[Git][cmucl/cmucl][master] 2 commits: Fix #382: Make command-line options be case-sensitive instead of case-insenstive