Run psalm in GitHub Actions

Start running psalm as part of our CI suite. It might make however make sense to use a baseline file in the beginning until we reach a proper error level. That way we could already require the builds to pass while not all issues picked up by psalm are fixed.