Add electric problem in MSPFormat and add test

[odow]

This example has a couple of interesting features:

• We don't detect or exploit the statewide independence of the lattice
• MSPFormat detects 4 state variables compared with the 6 declared in electric.sof.json, that's because some aren't used