Merge pull request #2093 from ajaxorg/fix_infra_filelist

Make cloud9infra searchable again

Merge pull request #2077 from ajaxorg/fix_saveas_ctx_menu

[Dijkstra] * fix for saves window context menu

Merge pull request #2026 from ajaxorg/fix/gotofile_block

Force init before blocking

Merge pull request #2073 from ajaxorg/revert/refactor_debugger

[Liskov] Revert refactor_debugger

Bump jsDAV version

Merge pull request #2025 from ajaxorg/remove_readonly

Comment readonly line that was causing the IDE to stay always in readonly mode

Merge branch 'master' of github.com:ajaxorg/cloud9

Merge pull request #1982 from ajaxorg/fix_console_closing

* fix for "Console space typing shows and hides the console"

Merge pull request #1876 from ajaxorg/fix/outline-edge-cases

Fix/outline edge cases

bump package version to v0.7.1