#4,#9 Enforce some reasonable file extension upon save / No reuse of
filenames on "export as JSON" and "save"

- enforcing ".wikitax", ".json" in ApplicationView and ".csv" in 
TableView
- "export as JSON" uses its own file chooser to prevent accidentally
overwriting. There is also a warning shown if the file to write to
already exists.