make server start more configurable

There are differences between how the server is launched on Windows and
Linux. By making the tasks configurable, we can discriminate on the
platform and adapt the settings