add properly-formatted -D options to named.args files

this prevents servers that use arguments specified in named.args from appearing different in 'ps' output from servers run with arguments from start.pl

Closes #259 (closed)