added config options default_filename, save_on_page_switch

default_filename sets the default name for new files
save_on_page_switch can enable file saving before switch the page
Merge branch 'master' into history_hooks