Formatting of the first 3 lecture notes

Now that I have modified rocco to follow other conventions for comments the old commenting style 

    /* This is documentation
     * and some more */

can be applied. Looking at the github diff the changes appear more than they are. But when directly comparing original sources with my current version one can see that not everything has changed, but only small changes have been made.