devel/jetbrains-phpstorm: major update to version 2020.1.1

Pass maintainership to Dmitry Wagin, who has been submitting fine updates
from the start.

Release Notes:
https://www.jetbrains.com/phpstorm/whatsnew/

PR: 246362
Approved by: thierry (mentor, implicit)