[slime-devel] slime-compile-file save prompting