[PPL-devel] PPL 0.8 release branch created

The branch tag is `ppl-0_8-branch'. Work on the main trunk can now proceed as usual. To the contrary, please do not touch the release branch. Ciao,

Roberto