Server should only accept local connections

You probably don't want people editing your programs remotely, in
general :).
Merge branch 'master' of github.com:edwinb/Idris-dev