Add Cislave4 and 5 to hosts-zhdk
Update IP addresses of zhdk servers
Release 1.4.2 Sweeping scripts of trials
Restructure files; add dump-and-fetch-database play