Add a check for the title of the pull request

[fstagni]

The PR title is effectively used for creating the release, and should follow the same rules of a conventional commit. This action seems like a good candidate: https://github.com/marketplace/actions/semantic-pull-request

[chrisburr]

Done in #848