add miniXyce source code