updated size counter
fixed bug that nicolas noticed
Merge remote-tracking branch 'origin' into gh-pages
added distractors arities
added test functions
removed distractor management in beliefstate
updated beliefstate
pulling dustin's fix of the bug

Conflicts:
	src/beliefs/beliefstate.py
fixed merge problem
Started documenting posets.py. Hard to show examples. Will work on that later