do not push to ethz

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
Eliminiate excess output from machine explorer

command -v emits a string to stdout, silence this since we are only
interested in the return code.
Merge branch 'no_extra_output_from_machine_explorer' of https://github.com/contradict/cdist
 update changes in log file for dependencies based on discussion