Screen and Print Versions and gitignore.

+ Added gitignore
+ Brought the project structure inline with the main idris tutorial adding a screen and print versions.
+ Fixed styling of the table for the interactive editing commands.
+ Fixed styling of REPL output.