Score fix for GibbsSampling
Updated treeConstraint to check projectivity
Updated projective tree specs
Merge remote-tracking branch 'origin/dev' into dev