Add license and update CI

We should give the project a license file, and update CI to

• include static checker
• include test coverage
• use multi-version documentation
• generate badges