Exits the process when the REPL terminates.

Fixes #16.
Merge pull request #22 from jbnicolai/issue/16

Exits the process when the REPL terminates.