* changed version to 1.4
* changes to the information the server provides to the user: by default the server is less verbose. Statements about client registering and unregistering are not displayed by default anymore. They can be turned by using --verbose. The first thing the server prints is the total number of stages in the pipeline and how many of those have already been processed. The number of skipped stages is not displayed anymore (they are ambiguous/meaningless for the end user).
* fixed a bug in the pipeline executor. Now they can be launched separately from the command line again
Merge branch 'release-1.4' into develop