Andy Buckley authored Dec 20, 2019 and Christian Bierlich committed Dec 20, 2019

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