Pass additional server options to pushserve.
Merge pull request #598 from wprater/master

Allow arbitrary options to be passed to pushserve