Release version 1.3.1; revamp welcome page
Release 1.3.2: executor exec and rc files
Release 1.4.0 UI and UX overhaul
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
Moving sever-settings file from db to config files
...
rc1
...