First release of 2015 This project has mostly achieved its goals, but this first release in 2015 has a few fixes and small new useful features. For example, we now print which tests failed at the end of the run. Git-EVTag-v0-SHA512: 4963703595aadfdb8fa9da8300d47455e5ff4db8ba4ea0f9ed9c540cc485a9a84af78f678160882445a41281fb3c2cf601ed5b99af3916a13df430ce7b1e3364