update website after release of rivet 2.3.5
17 files changed