remove unneeded 'world' parameter from getInitialViewExtent and all client usages
lively.ide.BasicBrowser: collapsing and expanding the nagivation panes
lively.ide.BasicBrowser: aded methods for expanding and collapsing navigation panes. UI integration to be done.