Renamed Dependency to Refinement
Renamed DependencyTest to REfinementTest and implemented tests
Renamed Dependency to Refinements throughout the project
Finished implementation of the algorithm.
Added snake yaml dependency
Changed constants from String to int
Created ContextAnnotations and edited Context to be equivalent iff the
annotations are equal among them
Changed threshold to Double, made delivered quality and quality
constraints context dependent, included Yaml parsing
Merge branch 'master' of github.com:felps/PragmaticGoals