Update documentation for the -circuitlib option (different back ends)