With even more optimization, Reload Database should be slightly faster.
Because database reloads are fairly fast now, there doesn't seem to be a whole lot of reason to do a 'soft reload' when the user presses the Reload button while viewing an app in the browser. Changed the Reload button so it does a "hard reload" regardless of whether CTRL or SHIFT was pressed.
Fixed a bug where the backend process tried deferencing a nullptr when passed a -reload command line option. This probably prevented 'hard reload' from working since v1.1.52, when the backend process was implemented.