✨ Expose further file readers and writers

[marcelwa]

What's the problem this feature will solve?

Currently, aigverse only exposes mockturtle's AIGER reader and writer. However, several others are useful and should be exposed as well.

Describe the solution you'd like

We should start with exposing the following readers and writers:

• Verilog (done in ✨ Read/Write Verilog to/from AIGs #128 ✅)
• PLA (done in ✨ Read PLA to AIGs #127 ✅)

for AIGs. Additionally, the DOT writer can be exposed to visualize networks (done in #145 ✅).

If further network types are added (see #122), other readers and writers could also be exposed:

• Bench
• BLIF

for k-LUT networks.