Stop content duplication

Some files (install, citing, license) copy files from the main repo.

We may want to include the main repo as a git submodule, and use the original files when building.