Summercamp release

This release comes in fact after the workshop has already taken place, and it includes a couple of fixes to the exercises and to the Docker stack, which have been found during the workshop execution.