slight change in instructions display in server.py
slight modif in server.py order
Merge branch 'master' of github.com:DevMine/devmine-core