updated dependencies in cbmc's build script
debugging the tests on the build server
yet another tryy to make the tests work on teh build server
small fix
cleaning the code
merged master into dataflow