Allow to store directories in tutorials.

I made it such that if one put an "additional file"
that is actually a directory the directory is targzipped
when compiling the manual. This allows to keep in the git
repository real files (instead of tarballs) which are
then easier to merge.