Added REPLHistory to .gitignore