[Git][cmucl/cmucl][issue-373-handle-temp-files] 7 commits: Fix #379: Support GNU-style command line option names