Playgrounds moved to separate repository
As announced, the playgrounds have moved to their own GitHub repository.
Tests are run by Travis and Jenkins – as before, Travis runs Tests, and Jenkins also runs Integration Tests.
A few integration tests are currently failing, probably because of file references to outside the repository. Please check.