Symbola: update hash for PDF file
Symbola: bump from 7.17 to 7.18
Merge pull request #5034 from robberer/pkgs/symbola

Symbola: bump from 7.17 to 7.18