games/pinball: upgrade to 0.3.20230219
Release notes at https://github.com/adoptware/pinball/releases/tag/0.3.20230219.