Added scala-reflect to build path
Merge pull request #12 from runtimeverification/addScalaReflect

Added scala-reflect to build path