editor should notice when the file has changed and update buffer

[marssaxman]

If you do a git checkout/pull/etc in the project dir, the editor won't notice, and will continue to show the out-of-date text. It should check the mtime on activate and reload from disk if necessary.