enable record update

Fengmin Zhurequested to merge
ci/record-update into master
  1. Add dependency: coq-record-update
  2. Use this library to simplify annotations for pgtable.c

Merge request reports