Fix some issues reported by lintian

Fix some issues reported by lintian

• Set upstream metadata fields: Repository-Browse. (upstream-metadata-file-is-missing)
• Update standards version to 4.6.2, no changes needed. (out-of-date-standards-version)
• Set upstream metadata fields: Bug-Database, Bug-Submit. (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/33/4196597bdbdb9a8b0f115bbe334b842b0df125.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/69/2c52563585399d59658093fb7ef7dec45d188d.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/b5/18646504ab9cc5f219a233a327736cf745a676.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/35/578458f90c7829a86b146a838f6f0e6171e77a.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/7a/a7c3bced8d9f2971f323dfc8793fd0f8e9d75e.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/d3/0dada1d0001fde966978bcf4a9608b7b082c73.debug

No differences were encountered between the control files of package **cvc4**

Control files of package cvc4-dbgsym: lines which differ (wdiff format)

• Build-Ids: 35578458f90c7829a86b146a838f6f0e6171e77a 692c52563585399d59658093fb7ef7dec45d188d

No differences were encountered between the control files of package **libcvc4-7**

Control files of package libcvc4-7-dbgsym: lines which differ (wdiff format)

• Build-Ids: 7aa7c3bced8d9f2971f323dfc8793fd0f8e9d75e b518646504ab9cc5f219a233a327736cf745a676

No differences were encountered between the control files of package **libcvc4-dev**

No differences were encountered between the control files of package **libcvc4parser7**

Control files of package libcvc4parser7-dbgsym: lines which differ (wdiff format)

• Build-Ids: d30dada1d0001fde966978bcf4a9608b7b082c73 334196597bdbdb9a8b0f115bbe334b842b0df125

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/run/b90bbe4f-134a-4452-a0ec-6c4722cccc89.