linopt: a linear circuit optimization program