Merge pull request #49 from p2t2/master

Updating README file to indicate URL to binary versions
Added fix for issue 45. Asserting evidence using references will now
assert that elements along a resolvable path can only be values that
result in a valid resolution
Fix for issue #46. Importance sampling now resamples all active elements
in the universe, instead of permanent elements.
Fix for issue #48. Added a function called hasRef to ElementCollection
that returns true if the reference is resolvable on that collection
Merge pull request #50 from bruttenberg/DEV2.1

Dev2.1
Remove triangular references to ProvEvidenceAlgorithm
Remove Algorithm mixin
Merge pull request #52 from gtakata/DEV2.1

Dev2.1
allUtilitiesSeen only used locally
Make Runner protected
Make mhStep private
Reformat
Merge pull request #1 from p2t2/DEV2.1

Dev2.1
Fix Semiring test by using predefined DirichletParameters.
Also reformatted
Change for loops to while
Merge pull request #66 from bruttenberg/DEV2.1

Merge pull request #1 from p2t2/DEV2.1
Resolve deprecation warnings
Resolve deprecation warnings
Resolve deprecation warnings
Resolve deprecation warnings