editor: fix remove-file issue

[preetham]

• After a file is removed it's entry is deleted from the directory view(jsTree) but the contents of it remain in the editor which enable us to make some more edits and save it again. This time the file is saved but the directory view is not updated.
• This fix now uses refresh() function to update the directory view whenever saveFileManually() is executed.
• gitignore file should contain repos/* as an entry as the edits done by a user in his own project need not be included in a "source code" update commit.

Signed-off-by: Kamidi Preetham [email protected]

[brunobottazzini]

We have a default repo commited that is the demo one. I think It does not make sense putting repos in .gitignore. Unless we implemented this feature -> #82 then we could add repos into .gitignore file.