Add PHP linting VSCode tasks and GitHub workflow

[fpiesche]

This adds a GitHub workflow to check the main codebase for style errors according to the PSR-12 PHP code standard, as well as a pair of Visual Studio Code test tasks to check for errors within VSCode and to automatically fix errors if possible.