Added a lot of doc
Merge branch 'master' of https://github.com/xowor/UniSO

Conflicts:
	src/auctioneer.c
	src/tao.c