Assign unique HTML id's to places, transitions, etc

[epost]

This allows us to:

• have multiple nets on a page without mucking up the rendering or animations
• address net elements by net-specific id's

[epost]

/cc @antonleviathan