cleanup in corriges
all files with the same naming scheme
makefile can produce corriges, html, markdown, pdf through pdflatex and gitprint (altough these are not yet up2date as I need to push first)