Update to upstream version '20190729'
with Debian dir a19e3b8e9726ed5bdb290da9792e94a9ef7c25d6

hol-light (20190729-0.1) unstable; urgency=medium

  * Non-maintainer upload
  * New upstream snapshot (Closes: #876533)
    - Patch for new ocaml and camlp5
    - tweak rules file to stop copy of the new ml file 
      This is already done in upstream build system.
    - do not install .pc file in the system (Closes: #878615)
  * Update copyright file
  * Update copyright file http in https mode

bump compat level to 10 (cherry-pick)
add python runtime dependency (cherry-pick)
update VCS fields to new location
remove trailing newlines