Removed the hard-coded name for inferior sml buffers

We now get the buffer name using

(concat "*" (file-name-nondirectory inf-sml-program) "*")