Use GitHub token instead of Personal Access Token

• Using the GH Actions builtin token means increased security on workflow runs.
• Improvements to the Makefile.
• Improvements to docs.
• Documentation move to separate docs directory.