BibDocFile: improved CLI --append userfriendliness

• When appending via CLI a file which already exists (i.e. the given record has already the corresponding docname and the given format), then a new docname will be proposed, prompting for confirmation.