Made changes so the only the resource that changed is refreshed (was causing the whole workspace to rebuild).
Added RascalNavigator class to handle save/restore of opened items in
the navigator.