Setup domains

[wires]

link to

• petrinet.info
• petrinet.org

[antonleviathan]

ping @wires

[wires]

has been done

[wires]

actually, undo. Only the .org works, the .info is broken. Github pages supports only one domain. I propose to move this to netlify that does support two.