Fix some issues reported by lintian

Fix some issues reported by lintian

• Use secure copyright file specification URI. (insecure-copyright-format-uri)
• Bump debhelper from old 10 to 13. (package-uses-old-debhelper-compat-version)
• Set debhelper-compat version in Build-Depends. (uses-debhelper-compat-file)
• Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. (upstream-metadata-file-is-missing, upstream-metadata-missing-bug-tracking)

Debdiff

These changes affect the binary packages:

[The following lists of changes regard files as different if they have different names, permissions or owners.]

Files in second set of .debs but not in first

-rw-r--r--  root/root   /usr/lib/debug/.build-id/36/0466ef774a0c4ec0f8e5f57e0add3402a02b28.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/5b/dfc9904b463d66039dfddfbe58d1e6e09a0983.debug

No differences were encountered between the control files of package **ocplib-simplex-ocaml-dev**

Control files of package ocplib-simplex-ocaml-dev-dbgsym: lines which differ (wdiff format)

• Build-Ids: 5bdfc9904b463d66039dfddfbe58d1e6e09a0983 360466ef774a0c4ec0f8e5f57e0add3402a02b28

You can also view the diffoscope diff (unfiltered).

This merge proposal was created by the Janitor bot, and it will automatically rebase or close this proposal as appropriate when the target branch changes. Any comments you leave here will be read by the Janitor's maintainers.

Build and test logs for this branch can be found at https://janitor.debian.net/lintian-fixes/pkg/ocplib-simplex/c5ef3de1-328e-444d-b104-23dbf1eff741.