Add checklist for things to do before upstreaming in PRs #24
Description
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
- ...