Merge pull request #1077 from jmaas/master

More cleanup work
Merge pull request #1078 from jmaas/master

More cleanup work
Merge pull request #1080 from jmaas/master

Copy more release files in the `make release` target.