Changes listed below.
- Fix a bug in 'mutual_unique' routine
- Improve the documentation: add AVX-512 flags
- Fix an under scope variable bug in the Task class
- Refresh the AFF3CT headers file
- Improve the CI