Merge pull request #99 from chrqls/dev

[#95] Cleaning projects + merging several constants in the same file: Constants.java
[#101] Restart button will alert the teacher if server is down
Merge commit '3251b5d' into dev