* changed the initial output of the server. It used to print the number of "skipped stages as redundant", but this means very little to the end user. These are stages skipped, because they were added to the pipeline (in the code) multiple times. Now, the total number of stages that have to be run are printed, as well as the number of stages that already have been finished. This will provide a good sanity check when you re-run a pipeline.
* fixed a bug in the pipeline executor: launching an executor from the command line directly was broken becasue no pipeline executor was initialized.