API: Rename document_reload_file -> document_reload_force

New name is clearer against document_reload_prompt.
Add deprecated alias.