Competitive-verifier

What's Changed
* Update workflows by kzrnm in https://github.com/competitive-verifier/competitive-verifier/pull/102
* Update docs by kzrnm in https://github.com/competitive-verifier/competitive-verifier/pull/104
* Fix verify command when --prev-result has deleted file by kzrnm in https://github.com/competitive-verifier/competitive-verifier/pull/106
* Remove redirect by kzrnm in https://github.com/competitive-verifier/competitive-verifier/pull/107


**Full Changelog**: https://github.com/competitive-verifier/competitive-verifier/compare/v1.7.2...v1.7.3

- Use offset aware datetime

- Fix usage

- Add result of testcases to GitHub Actions summary and document
- Add slowest and heaviest to summary
- Add testcases summary
- Add failed test summary
- Add testcases to document

- Make icons modifiable
- Update libraries

- Fix relative `documentation_of`