removed rigid predicates (legacy code)
added method getVariables to CountConstraint, fixed grounding of CountConstraint
added method getGroundFormulas
updated credits
ignore .pyc files
report use of soft evidence
added tests for PyMLNs
removed rigid predicates (legacy code)
Merge branch 'stable'