Continue on docs, more error-resistent exit
Merge branch 'master' of github.com:dinox/virnet

Conflicts:
	doc/design.tex