devel/pycharm-ce: Update to 2023.1.2
ChangeLog: https://blog.jetbrains.com/datagrip/2023/05/17/datagrip-2023-1-2/ PR: 271478