Write first version of descriptions of Split, Subsumption, Pebbling
Merge remote-tracking branch 'master/develop' into develop
First draft of LUniv's description
First draft of RedRec's description