Fix #21: completion file name in save dialog
Close #22: default title of document can now be changed

and add number to title