[clisp-list] clisp on gitlab

[Raymond T. <toy...@gm...>]

FYI, clisp is now on gitlab, not sourceforge: 
https://gitlab.com/gnu-clisp/clisp and the last change was 4 days ago.

I didn't know this until I was just setting up gmane on thunderbird and 
read the clisp list there.