Move the tutorials directory into doc, now that the mess of different generated doc-files has been alleviated