Python frontend of ngspice