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.