doc: updated public website links
nodist: added symbols.mp

A new MetaPost file for generating miscellaneous symbols: they will be
used for documenting the overall design of a typical ADG application.