refactored test framework so that test projects can be extended
Conflicts:
	sireum-bakar-test/src/test/scala/org/sireum/example/bakar/BakarExamples.scala
	sireum-bakar-test/src/test/scala/org/sireum/test/bakar/compiler/BakarTranslatorTest.scala
	sireum-bakar-test/src/test/scala/org/sireum/test/bakar/framework/BakarTestFramework.scala
	sireum-bakar-test/src/test/scala/org/sireum/test/bakar/xml/BakarXmlTest.scala
reverting changes