devel/pycharm-pro: update to 2023.3.5
Release notes: https://blog.jetbrains.com/pycharm/2024/03/2023-3-5/