Added office hours for Kai
Added office hours for Gianni
Auto-restarting server, .gitignore, old system compatibility.
Merge branch 'kai-office-hours'
merges