Make docker jobs create a special file in case of success
If we reach the end build and test jobs, they create a stamp file called JOB_SUCCESS_STAMP
in the current directory (workspace top directory), so that we can change the Jenkins jobs to check if that file is present and flag it as failed otherwise.
Needed for #10 (closed)
Edited by Marco Clemencic