[Git][cmucl/cmucl] Pushed new branch issue-382-command-line-options-case-sensitive