add MI-Exp examples - eg circuit design and ising

[chriscoey]

and use them in test. because syn and rsyn and gams01 from cblib are all a bit too tough for test