Revert unpublished commit.
Add repl history file.
Add projectile.
Customize ido.