[Git][cmucl/cmucl][issue-139-set-filename-encoding-to-utf8] Add docstring for *filename-encoding*