manager: better ~reload output.
plugins/script: don't warn on missing scripts.txt
resources/mark2.default.properties: Clean up for formatting. Added a few missing config entries.
launcher: make actual executable small, such that updates are less likely to conflict with custom python paths.
process: remove 'java.user' setting.
launcher: check 'mark2 start' is running as the user that owns the server directory.
launcher: fix error message.