Bug#867136: Impossible to use SDCC with PIC devices as non-free headers are removed

[Johann Klammer]

Also the browse link on the PTS seems down (getting a 404)
<https://anonscm.debian.org/git/collab-maint/sdcc.git>