propellor 5.3.1 released with these changes

  • Last release mistakenly contained my personal branch not master.
  • contrib/post-merge-hook documentation updated to recommend also using it as a post-checkout hook, to avoid such problems.