Add checklist for things to do before upstreaming in PRs

[CohenArthur]

It would be nice if when submitting a PR, gerris would also add a checklist of things to do manually before submitting the commits. For example something like

• Build project on 32bits machine
• ...