MERGED LOCALHOST INTO MASTER
NEW:
	workers now send both IP and PORT
	server now stores IPs and PORTs of active workers
	fixed problems with sockets not closing immediately on workers
Merge branch 'master' of github.com:cristianmtr/distrib into localhost

Conflicts:
	client.py
	server.py