Study of some possible internal errors, with related tests

The tests are written in the new style. For this reason, I had to checkout server.py to the version in fork "test_refactoring" here: https://github.com/fmarco/share-system-team1/tree/test_refactoring.