[docs] Make tools actually show up on docs page

Also, update version number to 3.2.0-rc1, and make docs automatically use this number