commit con avanzamenti WorldKB e sistemazione Makefile. tolto OGNI riferimento a server, threadonmutex
commit con avanzamenti WorldKB e sistemazione Makefile. tolto OGNI riferimento a server, threadonmutex
Merge branch 'nothread' of https://github.com/pbertoni/whereami into nothread

Conflicts:
	whereami