[Rock-dev] polishing rock / Rock Tutorials

[Javier Hidalgo Carrió]

>>> ->   we should add the package set rock-tutorials by default but do not
>>> install it because then someone could just call autoproj build xxx to
>>> install a new tutorial
>> Not sure about that. Other opinions ?
>>

I think is a good idea. Depending how big are the tutorials perhaps the 
balance is Yes for Basic tutorials and the user could install new 
tutorial (Advanced and System Management) calling autoproj build xxx. +1