Deprecate heroku-symbol plugin

The functionality was merged previously in
571b1c5bab511d63f5b9c689576b6f33fee874dd.
Merge pull request #1231 from fdr/deprecate-heroku-symbol

Deprecate heroku-symbol plugin