updating build.sbt plus source code so that package references are correct. Some updating has been also performed in order to comply with Titan 0.4