A cookbook for installing GNU clisp