Auto-restarting server, .gitignore, old system compatibility.
Merge branch 'master' into gianni-office-hours