build: Remove EXTRA_DIST assignments

We're using git version control, not `make dist`.
build: Remove Documentation/design Makefiles

They don't serve any purpose now that we're not using EXTRA_DIST.
Merge branch 'feature/extradist'