Smack/smack-repl/.gitignore