scide: add save-as-extension functionality
Merge pull request #1264 from timblechmann/topic/ide-save-as-extension

scide: add save-as-extension functionality