nodist: added missing symbols

Defined cloud, tablet and workstation symbols.
nodist: generate symbols with .mps extension

To import graphics into LaTeX in an easier way, change the template file
name generation in the MetaPost file to a more useful way.
nodist: added new symbols (ADG logo and gear)

Implemented missing symbols and improved general consistency by using a
better scale factor, dependent on the underline symbol.