Adds cooked header export#9

teto wants to merge 2 commits intonsnam:masternsnam/ns-3-dev-git:masterfrom

teto:cooked_linuxteto/ns-3-dev-git:cooked_linuxCopy head branch name to clipboard