Release v3.6.0

The Debian package repository URL changed, riscv64 is now officially supported architecture.
Added support for Vivado/Vitis versions 2023.1 and 2023.2.
Updated versions of rocket-chip, gemmini and riscv-boom.
Linux kernel 6.3.12.