Various cleanups to documentation

This includes a lot of documentation cleanups, including updating the documentation on issues and more detailed documentation on submissions.

It also includes some other minors cleanups, particularly:
Make the license more specific.
Fix magic lines (first one or two lines of files)
Make tests executable.
Cleanup imports