Merge pull request #20 from iqbalansari/master

Added support for restoring inf-mongo buffers
Added functions for restoring inferior sml
Removed the hard-coded name for inferior sml buffers

We now get the buffer name using

(concat "*" (file-name-nondirectory inf-sml-program) "*")
Merge pull request #21 from iqbalansari/restore-inf-sml

Added functions for restoring inferior sml