Spec added
Merge branch 'master' of https://github.com/fniksic/mpi-sws-vscomp
Debugging
Merge branch 'master' of https://github.com/fniksic/mpi-sws-vscomp

Conflicts:
	mpi-dns/src/main/scala/mpidns/data/AnswerTree.scala