Move header files to separate include dir.#167

m-kurtenacker wants to merge 2 commits intomasterAnyDSL/thorin:masterfrom

header-moveAnyDSL/thorin:header-moveCopy head branch name to clipboard